[web-php] master: Add redirect for php.net/GH-123
| From: | Nikita Popov | Date: | Sat, 04 Dec 2021 14:24:19 +0000 |
| Subject: | [web-php] master: Add redirect for php.net/GH-123 | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-29794@lists.php.net to get a copy of this message | ||
Author: Nikita Popov (nikic)
Date: 2021-12-04T15:25:05+01:00
Commit: https://github.com/php/web-php/commit/1e832e0a8d14165f40ac206444381eeba51b0f72
Raw diff: https://github.com/php/web-php/commit/1e832e0a8d14165f40ac206444381eeba51b0f72.diff
Add redirect for php.net/GH-123
Redirect
php.net/GH-123 to the corresponding issue or pull request
on php/php-src. This is part of https://wiki.php.net/rfc/github_issues,
but is also useful independently for pull request references.
Changed paths:
M error.php
Diff:
diff --git a/error.php b/error.php
index ec996f520..87de13bcf 100644
--- a/error.php
+++ b/error.php
@@ -167,6 +167,11 @@
mirror_redirect("http://bugs.php.net/bug.php?id=$URI");
}
+// php.net/GH-123 -> php-src GH issue #123
+if (preg_match('/^GH-(\d+)$/', $URI, $matches)) {
+ mirror_redirect("https://github.com/php/php-src/issues/"
. $matches[1]);
+}
+
// ============================================================================
// 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