From 6ca24aae8baadd38bd9b797d547414d108e3adfc Mon Sep 17 00:00:00 2001
From: Nicolas CARPi <nicolas.carpi@curie.fr>
Date: Wed, 8 May 2019 01:01:43 +0200
Subject: [PATCH] Add PHP ini file locations for Ubuntu 18.04. Fix #628

---
 include/tests_php | 3 +++
 1 file changed, 3 insertions(+)

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 \