From 54e5276e8aeedf337d048574b5eb2ef4046b4c36 Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Tue, 25 Oct 2016 09:17:25 +0200
Subject: [PATCH] console.php also needs a PHP 7.1 check

Signed-off-by: Morris Jobke <hey@morrisjobke.de>
---
 console.php | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/console.php b/console.php
index 3c68429cbd499..b79da4bbd1373 100644
--- a/console.php
+++ b/console.php
@@ -39,6 +39,14 @@
 	return;
 }
 
+// Show warning if PHP 7.1 is used as Nextcloud is not compatible with PHP 7.1 for now
+// @see https://github.com/nextcloud/docker-ci/issues/10
+if (version_compare(PHP_VERSION, '7.1.0') !== -1) {
+	echo 'This version of Nextcloud is not compatible with PHP 7.1.<br/>';
+	echo 'You are currently running ' . PHP_VERSION . '.';
+	return;
+}
+
 function exceptionHandler($exception) {
 	echo "An unhandled exception has been thrown:" . PHP_EOL;
 	echo $exception;