Update with current versions of PHP/MariaDB

enwikipedia-acc · Apr 17, 2020 · b2d2f05 · b2d2f05
1 parent 535c3a6
commit b2d2f05
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 16 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,13 +1,11 @@
 language: php
 
 php:
-  - 5.5
-  - 5.6
-  - 7.0
+  - 7.3
 
 matrix:
   allow_failures:
-    - php: 7.0
+    - php: 7.3
 
 before_install:
   - pip install --user codecov

diff --git a/INSTALLING.md b/INSTALLING.md
@@ -4,7 +4,7 @@ This is a brief installation guide for developers/testers etc to get this system
 
 * Web server
 * MariaDB 10.1+ (or equivalent)
-* PHP 5.5+
+* PHP 7.3+
 
 The webserver must be configured to pre-process *.php files through the PHP engine before sending them to a client.
 
@@ -34,17 +34,10 @@ Useful (but optional) extensions:
 
 ### Production
 
-* MySQL 5.5.46-0ubuntu0.12.04.2
-* PHP 5.6.9-0+deb8u1
-* Apache 2.4.10 (Debian)
-* Debian Jessie (Wikimedia Labs)
-
-### stwalkerster's main development environment
-
-* MariaDB 10.0.15
-* PHP 5.6.1 (NTS VC11-x86 build)
-* PHP Development server
-* Windows 10
+* MariaDB 10.1.37
+* PHP 7.3.14
+* Apache 2.4.38 (Debian)
+* Debian Buster (Wikimedia Labs)
 
 # Basic information