Author: Gina Peter Banyard (Girgias)
Date: 2025-03-06T14:42:14Z
Commit: Add redirection after IntervalBoundary enum XML id change · php/web-php@af6da3d · GitHub
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 Fixed XML id for enum name, so that they get correctly linked to. · php/doc-en@0d51ca4 · GitHub)
+ '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',