diff options
author | Matyáš Koc <admin@sufix.cz> | 2018-05-02 12:14:20 +0300 |
---|---|---|
committer | Michael Boelen <michael.boelen@cisofy.com> | 2018-05-02 12:14:20 +0300 |
commit | 7fd81899078b3fc6b12e322ff1cf9001432242ab (patch) | |
tree | de6dd13763aa9eb2005479e982ba71bf077f61b8 /include/tests_php | |
parent | 77b3b5c9187b311359594a4f8c08336a3c45e9db (diff) |
Update for PHP 7.2 (#546)
Added php.ini paths used on Ubuntu with PHP 7.1/7.2
Diffstat (limited to 'include/tests_php')
-rw-r--r-- | include/tests_php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/tests_php b/include/tests_php index 267375f3..4e76b15d 100644 --- a/include/tests_php +++ b/include/tests_php @@ -42,6 +42,8 @@ ${ROOTDIR}etc/php5/apache2/php.ini \ ${ROOTDIR}etc/php5/fpm/php.ini \ ${ROOTDIR}private/etc/php.ini \ + ${ROOTDIR}etc/php/7.2/cli/php.ini ${ROOTDIR}etc/php/7.2/fpm/php.ini \ + ${ROOTDIR}etc/php/7.1/cli/php.ini ${ROOTDIR}etc/php/7.1/fpm/php.ini \ ${ROOTDIR}etc/php/7.0/cli/php.ini ${ROOTDIR}etc/php/7.0/fpm/php.ini \ ${ROOTDIR}var/www/conf/php.ini \ ${ROOTDIR}usr/local/etc/php.ini ${ROOTDIR}usr/local/lib/php.ini \ |