[web-php] master: Add redirect for install.windows.tools.php (#1952)
| From: | Jordi Kroon via GitHub | Date: | Sun, 05 Jul 2026 11:18:14 +0000 |
| Subject: | [web-php] master: Add redirect for install.windows.tools.php (#1952) | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-33851@lists.php.net to get a copy of this message | ||
Author: Jordi Kroon (jordikroon)
Committer: GitHub (web-flow)
Pusher: sy-records
Date: 2026-07-05T19:18:12+08:00
Commit: https://github.com/php/web-php/commit/9bf73b66447efbc0e8c5567f0bb3cbfcde69caee
Raw diff: https://github.com/php/web-php/commit/9bf73b66447efbc0e8c5567f0bb3cbfcde69caee.diff
Add redirect for install.windows.tools.php (#1952)
Changed paths:
M error.php
Diff:
diff --git a/error.php b/error.php
index 5cc70996a9..11a60745e5 100644
--- a/error.php
+++ b/error.php
@@ -251,6 +251,7 @@
'install.xitami' => 'install.windows.xitami',
'install.windows.installer.msi' => 'install.windows',
'install.windows.installer' => 'install.windows',
+ 'install.windows.tools' => 'install.windows',
// Internals docs where moved
'zend' => 'internals2.ze1.zendapi',