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.
'; + echo 'You are currently running ' . PHP_VERSION . '.'; + return; +} + function exceptionHandler($exception) { echo "An unhandled exception has been thrown:" . PHP_EOL; echo $exception;