devtools still supports PM versions that support PHP 7.2

pmmp · Jun 10, 2020 · 76f57a2 · 76f57a2
1 parent 6862c20
commit 76f57a2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,6 +1,7 @@
 language: php
 
 php:
+ - 7.2
  - 7.3
 
 before_script: