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 -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
