[web-php] master: Add redirection after IntervalBoundary enum XML id change

From: Date: Thu, 06 Mar 2025 14:50:44 +0000
Subject: [web-php] master: Add redirection after IntervalBoundary enum XML id change
Groups: php.webmaster 
Request: Send a blank email to php-webmaster+get-32746@lists.php.net to get a copy of this message
Author: Gina Peter Banyard (Girgias) Date: 2025-03-06T14:42:14Z Commit: https://github.com/php/web-php/commit/af6da3d8d92cf12168e28ceea821c252309452df Raw diff: https://github.com/php/web-php/commit/af6da3d8d92cf12168e28ceea821c252309452df.diff Add redirection after IntervalBoundary enum XML id change Changed paths: M error.php Diff: diff --git a/error.php b/error.php index 15eb2bc508..55ed2dcad9 100644 --- a/error.php +++ b/error.php @@ -223,6 +223,11 @@ // entry point changed 'installation' => 'install', + // XML Id changed (see https://github.com/php/doc-en/commit/0d51ca45814bbc60d7a1e6cf6fc7213f0b49c8d5) + 'enum.random.intervalboundary' => 'enum.random-intervalboundary', + 'enum.random.intervalboundary.intro' => 'enum.random-intervalboundary.intro', + 'enum.random.intervalboundary.synopsis' => 'enum.random-intervalboundary.synopsis', + // was split among platforms (don't know where to redirect) 'install.apache' => 'install', 'install.apache2' => 'install',

« previous php.webmaster (#32746) next »