Author: pwright64 (pwright64)
Committer: Derick Rethans (derickr)
Date: 2026-06-16T12:10:12+01:00
Commit: Update urlhowto.php · php/web-php@269c7ce · GitHub
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>