From 1d982a26d0ca3de9790930c3f75480ec367fb9b1 Mon Sep 17 00:00:00 2001
From: James White <james@jmwhite.co.uk>
Date: Sat, 10 Mar 2018 11:07:29 +0000
Subject: [PATCH] Add remi repo php.ini paths (#529)

---
 include/tests_php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/include/tests_php b/include/tests_php
index 1b1fc832..44f0296b 100644
--- a/include/tests_php
+++ b/include/tests_php
@@ -65,7 +65,11 @@
                 ${ROOTDIR}opt/alt/php55/etc/php.ini \
                 ${ROOTDIR}opt/alt/php56/etc/php.ini \
                 ${ROOTDIR}opt/alt/php70/etc/php.ini \
-                ${ROOTDIR}opt/alt/php71/etc/php.ini"
+                ${ROOTDIR}opt/alt/php71/etc/php.ini \
+                ${ROOTDIR}etc/opt/remi/php56/php.ini \
+                ${ROOTDIR}etc/opt/remi/php70/php.ini \
+                ${ROOTDIR}etc/opt/remi/php71/php.ini \
+                ${ROOTDIR}etc/opt/remi/php72/php.ini"
 
     PHPINIDIRS="${ROOTDIR}etc/php5/conf.d \
                 ${ROOTDIR}etc/php/7.0/cli/conf.d \