Don't drop platform version on PHP 7.2

Author: WyriHaximus

.travis.yml

@@ -13,6 +13,8 @@ matrix:
         - qaExtended=true
     - php: 7.1
     - php: 7.2
+      env:
+        - dropPlatform=false
     - php: nightly
       env:
         - dropPlatform=false
@@ -25,6 +27,7 @@ matrix:
     - php: 7.2
       env:
         - dependencies=lowest
+        - dropPlatform=false
     - php: nightly
       env:
         - dependencies=lowest
@@ -38,6 +41,7 @@ matrix:
     - php: 7.2
       env:
         - dependencies=highest
+        - dropPlatform=false
     - php: nightly
       env:
         - dependencies=highest