Author: Derick Rethans (derickr)
Date: 2024-12-17T17:32:11Z
Commit: Fix URL, which google has gotten wrong for some odd mysterious reason · php/web-php@faf6fae · GitHub
Raw diff: https://github.com/php/web-php/commit/faf6fae38a3a3790e316c5f79c879b5babcbede9.diff
Fix URL, which google has gotten wrong for some odd mysterious reason
Changed paths:
M error.php
Diff:
diff --git a/error.php b/error.php
index 423135a29e..15eb2bc508 100644
--- a/error.php
+++ b/error.php
@@ -177,6 +177,12 @@
mirror_redirect("Issues · php/php-src · GitHub; . $matches[1]);
}
+// php.net/supported-versions.PHP -> supported-versions.php
+if ($URI == 'supported-versions.PHP') {
+ mirror_redirect("PHP: Manual Quick Reference);
+}
+
+
// ============================================================================
// Redirect if the entered URI was a PHP page name (except some pages,
// which we display in the mirror's language or the explicitly specified