travis: runs code coverage on PHP 7.2 because fails on 7.1

dg · dg · commit 5a6660ce140a · 2017-08-29T15:57:45.000+02:00
diff --git a/.travis.yml b/.travis.yml
@@ -42,6 +42,7 @@ jobs:
 
 
         -   stage: Code Coverage
+            php: 7.2
             script:
                 - vendor/bin/tester -p phpdbg tests -s --coverage ./coverage.xml --coverage-src ./src
             after_script:
