diff options
author | Paul Yang <TeBoring@users.noreply.github.com> | 2017-04-19 16:23:51 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-19 16:23:51 -0700 |
commit | 190b5270c8717ca343db42da489e5e7d6d9efb2c (patch) | |
tree | 3815f20268bc56aac88267004149f9e4eb634223 /.travis.yml | |
parent | 43234828da6ae3a3a3ada25d11488fdfd080b79c (diff) |
Make PHP c extension work with PHP7 (#2951)
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 77662993..8f6f90de 100644 --- a/.travis.yml +++ b/.travis.yml @@ -32,6 +32,7 @@ env: - CONFIG=ruby22 - CONFIG=jruby - CONFIG=php5.6_mac + - CONFIG=php7.0_mac matrix: exclude: # It's nontrivial to programmatically install a new JDK from the command |