From af6da3d8d92cf12168e28ceea821c252309452df Mon Sep 17 00:00:00 2001 From: Gina Peter Banyard Date: Thu, 6 Mar 2025 14:42:14 +0000 Subject: [PATCH] Add redirection after IntervalBoundary enum XML id change --- error.php | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/error.php b/error.php index 15eb2bc50..55ed2dcad 100644 --- a/error.php +++ b/error.php @@ -223,6 +223,11 @@ $manual_page_moves = [ // 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',