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',
