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>
