diff options
| author | Nicolas CARPi <nicolas.carpi@curie.fr> | 2019-05-08 02:01:43 +0300 |
|---|---|---|
| committer | Nicolas CARPi <nicolas.carpi@curie.fr> | 2019-05-08 02:01:43 +0300 |
| commit | 6ca24aae8baadd38bd9b797d547414d108e3adfc (patch) | |
| tree | bea381386214ef59bd467882175528607b6fa947 /include/tests_php | |
| parent | dc2962955e2e2a4a257b7b45799c7c9426e85721 (diff) | |
Add PHP ini file locations for Ubuntu 18.04. Fix #628
Diffstat (limited to 'include/tests_php')
| -rw-r--r-- | include/tests_php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/tests_php b/include/tests_php index 363321cf..76606c64 100644 --- a/include/tests_php +++ b/include/tests_php @@ -42,6 +42,9 @@ ${ROOTDIR}etc/php5/apache2/php.ini \ ${ROOTDIR}etc/php5/fpm/php.ini \ ${ROOTDIR}private/etc/php.ini \ + ${ROOTDIR}etc/php/7.2/apache2/php.ini \ + ${ROOTDIR}etc/php/7.1/apache2/php.ini \ + ${ROOTDIR}etc/php/7.0/apache2/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 \ |