MaJ du 22-10-2020

2020-10-22 20:12:27 +02:00
parent 4485e7096d
commit 84b4e1a85d
22 changed files with 639 additions and 46 deletions
--- a/docs/macos/webserver/php73.md
+++ b/docs/macos/webserver/php73.md
@@ -106,6 +106,17 @@ xdebug.remote_port=9000

 ```

+Chaque version de PHP a son propre répertoire d'extensions:
+
+```bash
+/usr/local/lib/php/pecl/20160303 ← 7.1
+/usr/local/lib/php/pecl/20170718 ← 7.2
+/usr/local/lib/php/pecl/20180731 ← 7.3
+/usr/local/lib/php/pecl/20190902 ← 7.4
+```
+
+
+
 #### Installer une extension (depuis les sources):

 ```bash