From 59a229c38ab8ec73e3003ec5da036e41cf0ee208 Mon Sep 17 00:00:00 2001
From: Franco Fichtner <franco@opnsense.org>
Date: Mon, 11 Jan 2016 18:35:29 +0100
Subject: [PATCH] php: fire in the hole!

---
 src/etc/rc.php_ini_setup | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/etc/rc.php_ini_setup b/src/etc/rc.php_ini_setup
index 759114845..5ae918ef1 100755
--- a/src/etc/rc.php_ini_setup
+++ b/src/etc/rc.php_ini_setup
@@ -24,7 +24,10 @@
 #	ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 #	POSSIBILITY OF SUCH DAMAGE.
 
-if [ -d /usr/local/lib/php/20131226 ]; then
+if [ -d /usr/local/lib/php/20151012 ]; then
+	# PHP 7
+	EXTENSIONSDIR="/usr/local/lib/php/20151012/"
+elif [ -d /usr/local/lib/php/20131226 ]; then
 	# PHP 5.6
 	EXTENSIONSDIR="/usr/local/lib/php/20131226/"
 else