Author: Derick Rethans (derickr)
Date: 2024-12-17T17:32:11Z
Commit:
https://github.com/php/web-php/commit/faf6fae38a3a3790e316c5f79c879b5babcbede9
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("https://github.com/php/php-src/issues/"; . $matches[1]);
}
+// php.net/supported-versions.PHP -> supported-versions.php
+if ($URI == 'supported-versions.PHP') {
+ mirror_redirect("https://www.php.net/supported-versions.php";);
+}
+
+
// ============================================================================
// 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
