diff options
Diffstat (limited to 'console.php')
-rw-r--r-- | console.php | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/console.php b/console.php index 47cc2edf018..517032c2665 100644 --- a/console.php +++ b/console.php @@ -39,6 +39,14 @@ if (version_compare(PHP_VERSION, '5.6.0') === -1) { return; } +// Show warning if PHP 7.2 is used as Nextcloud is not compatible with PHP 7.2 for now +// @see https://github.com/nextcloud/server/pull/5791 +if (version_compare(PHP_VERSION, '7.2.0') !== -1) { + echo 'This version of Nextcloud is not compatible with PHP 7.2.<br/>'; + echo 'You are currently running ' . PHP_VERSION . '.'; + return; +} + function exceptionHandler($exception) { echo "An unhandled exception has been thrown:" . PHP_EOL; echo $exception; |