diff --git a/install/windows/index.xml b/install/windows/index.xml
index ff1d02766f..6738c0521b 100644
--- a/install/windows/index.xml
+++ b/install/windows/index.xml
@@ -1,6 +1,5 @@
-
-
+
Installation sur les systèmes Windows
@@ -23,7 +22,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 b482ddb6a2..0000000000
--- a/install/windows/tools.xml
+++ /dev/null
@@ -1,33 +0,0 @@
-
-
-
-
- Outils tiers pour l'installation de PHP
- &warn.install.third-party-support;
-
- XAMPP,
- WampServer, et
- Bitnami
- configurent également des applications PHP pour une utilisation avec Apache sur Windows.
-
-
-
diff --git a/reference/mongodb/configure.xml b/reference/mongodb/configure.xml
index c9a70b29e6..b9c7837c3f 100644
--- a/reference/mongodb/configure.xml
+++ b/reference/mongodb/configure.xml
@@ -1,6 +1,5 @@
-
-
+
&reftitle.install;
@@ -41,7 +40,7 @@ $ sudo pecl install mongodb
Sur les systèmes avec plusieurs versions de PHP installées (par exemple, macOS par défaut,
- Homebrew, XAMPP), chaque version de PHP
+ Homebrew), chaque version de PHP
aura sa propre commande pecl
et fichier &php.ini;. De plus, chaque environnement PHP (par exemple
CLI, web) peut utiliser des fichiers &php.ini; séparés.
@@ -220,7 +219,7 @@ $ sudo make install
Sur les systèmes avec plusieurs versions de PHP installées (par exemple, macOS par défaut,
- Homebrew, XAMPP), chaque version de PHP
+ Homebrew), chaque version de PHP
aura sa propre commande phpize
et fichier &php.ini;. De plus, chaque environnement PHP (par exemple
CLI, web) peut utiliser des fichiers &php.ini; séparés.