diff --git a/install/windows/index.xml b/install/windows/index.xml index 33c0029122cd..89392099980e 100644 --- a/install/windows/index.xml +++ b/install/windows/index.xml @@ -23,7 +23,6 @@ &install.windows.manual; &install.windows.apache2; &install.windows.iis; - &install.windows.tools; &install.windows.building; &install.windows.commandline; diff --git a/install/windows/tools.xml b/install/windows/tools.xml deleted file mode 100644 index cd184bc9aee5..000000000000 --- a/install/windows/tools.xml +++ /dev/null @@ -1,32 +0,0 @@ - - - - Third-party tools for installing PHP - &warn.install.third-party-support; - - XAMPP, - WampServer, and - Bitnami - will also setup PHP applications for use with Apache on Windows. - - - diff --git a/reference/mongodb/configure.xml b/reference/mongodb/configure.xml index 07bcba2386a4..8ebd2e8e8a9a 100644 --- a/reference/mongodb/configure.xml +++ b/reference/mongodb/configure.xml @@ -24,7 +24,7 @@ $ sudo pecl install mongodb On systems with multiple version of PHP installed (e.g. macOS default, - Homebrew, XAMPP), each version of PHP + Homebrew), each version of PHP will have its own pecl command and &php.ini; file(s). Additionally, each PHP environments (e.g. CLI, web) may use separate &php.ini; files. @@ -204,7 +204,7 @@ $ sudo make install On systems with multiple version of PHP installed (e.g. macOS default, - Homebrew, XAMPP), each version of PHP + Homebrew), each version of PHP will have its own phpize command and &php.ini; file(s). Additionally, each PHP environments (e.g. CLI, web) may use separate &php.ini; files.