From 79541990ca5a5363d33106bf13ef1c3808f452e9 Mon Sep 17 00:00:00 2001
From: Daniel Kesselberg <mail@danielkesselberg.de>
Date: Sat, 30 Nov 2019 16:49:29 +0100
Subject: [PATCH] Use PHP_VERSION_ID to check for the current php version

Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
---
 lib/versioncheck.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/versioncheck.php b/lib/versioncheck.php
index 004a4b717f..d404f66781 100644
--- a/lib/versioncheck.php
+++ b/lib/versioncheck.php
@@ -1,7 +1,7 @@
 <?php
 
 // Show warning if a PHP version below 7.2 is used,
-if (version_compare(PHP_VERSION, '7.2') === -1) {
+if (PHP_VERSION_ID < 70200) {
 	http_response_code(500);
 	echo 'This version of Nextcloud requires at least PHP 7.2<br/>';
 	echo 'You are currently running ' . PHP_VERSION . '. Please update your PHP version.';
@@ -9,7 +9,7 @@ if (version_compare(PHP_VERSION, '7.2') === -1) {
 }
 
 // Show warning if > PHP 7.4 is used as Nextcloud is not compatible with > PHP 7.4 for now
-if (version_compare(PHP_VERSION, '7.5.0') !== -1) {
+if (PHP_VERSION_ID >= 70500) {
 	http_response_code(500);
 	echo 'This version of Nextcloud is not compatible with > PHP 7.4.<br/>';
 	echo 'You are currently running ' . PHP_VERSION . '.';