[PHP-WEBMASTER] [web-php] master: Add redirect for install.windows.tools.php (#1952)

Author: Jordi Kroon (jordikroon)
Committer: GitHub (web-flow)
Pusher: sy-records
Date: 2026-07-05T19:18:12+08:00

Commit: Add redirect for install.windows.tools.php (#1952) · php/web-php@9bf73b6 · GitHub
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',