diff options
| author | Michael Boelen <michael.boelen@cisofy.com> | 2019-06-24 14:46:30 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-24 14:46:30 +0300 |
| commit | a312968dd60f09140d3341bd96a21c67b24d6aa5 (patch) | |
| tree | acf090d097032728e48a7870f838a046728b0e23 | |
| parent | f6f7a69857c59ca0c02e7c8bcab53784388e89f2 (diff) | |
| parent | 6ca24aae8baadd38bd9b797d547414d108e3adfc (diff) | |
Merge pull request #714 from deltablot/issue628
Add PHP ini file locations for Ubuntu 18.04. Fix #628
| -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 \ |