[web-php] master: Update urlhowto.php
| From: | pwright64 via Derick Rethans | Date: | Tue, 16 Jun 2026 11:10:20 +0000 |
| Subject: | [web-php] master: Update urlhowto.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-33768@lists.php.net to get a copy of this message | ||
Author: pwright64 (pwright64)
Committer: Derick Rethans (derickr)
Date: 2026-06-16T12:10:12+01:00
Commit: https://github.com/php/web-php/commit/269c7ce154539349f10f73bcc0abe42dd645eef3
Raw diff: https://github.com/php/web-php/commit/269c7ce154539349f10f73bcc0abe42dd645eef3.diff
Update urlhowto.php
removed paragraph about mirrors
Changed paths:
M urlhowto.php
Diff:
diff --git a/urlhowto.php b/urlhowto.php
index 0f28a9f1eb..c311b84e83 100644
--- a/urlhowto.php
+++ b/urlhowto.php
@@ -40,14 +40,6 @@ function a($href): void {
You can instead use short PHP.net URLs to access pages directly.
</p>
-<p>
- Note that these shortcuts are expected to work on all mirror
- sites, not just on the main site. If you find that some of these
- shortcuts are not working on your mirror site, please report them
- as a "PHP.net Website Problem" at
- <a href="https://bugs.php.net/">https://bugs.php.net/</a>.
-</p>
-
<p>
There are currently three types of URLs you can use this way.
</p>