Travis CI: Add PHP 7.2

This commit is contained in:
Daniel Rudolf 2017-11-25 21:47:20 +01:00
parent 28d2648ba0
commit a192a42de5
No known key found for this signature in database
GPG Key ID: A061F02CD8DE4538

View File

@ -17,6 +17,7 @@ jobs:
- php: 5.6 - php: 5.6
- php: 7.0 - php: 7.0
- php: 7.1 - php: 7.1
- php: 7.2
- php: nightly - php: nightly
- php: hhvm - php: hhvm
- php: hhvm-nightly - php: hhvm-nightly