Merge branch 'develop' into oop

Author: 0b10011

.travis.yml

@@ -7,16 +7,26 @@ php:
     - 7.1
     - 7.2
     - 7.3
+    - 7.4snapshot
 
 matrix:
     include:
+        - php: 5.3
+          dist: precise
+          env: COMPOSER_MEMORY_LIMIT=3G
+        - php: 5.4
+          dist: trusty
+        - php: 5.5
+          dist: trusty
         - php: 7.0
           env: COVERAGE=1
         - php: 7.3
           env: DEPENDENCIES="--ignore-platform-reqs"
     exclude:
         - php: 7.0
         - php: 7.3
+    allow_failures:
+        - php: 7.4snapshot
 
 cache:
     directories:
@@ -29,6 +39,7 @@ env:
 
 before_install:
     ## Packages
+    - sudo rm -f /etc/apt/sources.list.d/mongodb.list  # Makes apt crash on Precise, and we don't need MongoDB
     - sudo apt-get update -qq
     - sudo apt-get install -y graphviz