2 files changed, 2 insertions, 19 deletions
diff --git a/index.php b/index.php
index 811422d20..a2a6d2373 100644
--- a/index.php
+++ b/index.php
@@ -1,14 +1,5 @@
 <?php
-
-	// we need a separate check here because functions.php might get parsed
-	// incorrectly before 5.3 because of :: syntax.
-	if (version_compare(PHP_VERSION, '7.4.0', '<')) {
-		print "<b>Fatal Error</b>: PHP version 7.4.0 or newer required. You're using " . PHP_VERSION . ".\n";
-		exit;
-	}
-
-	set_include_path(__DIR__ ."/include" . PATH_SEPARATOR .
-		get_include_path());
+	set_include_path(__DIR__ . "/include" . PATH_SEPARATOR . get_include_path());
 
 	require_once "autoload.php";
 	require_once "sessions.php";
diff --git a/prefs.php b/prefs.php
index 83b620bc6..f1c7a0fa7 100644
--- a/prefs.php
+++ b/prefs.php
@@ -1,13 +1,5 @@
 <?php
-	// we need a separate check here because functions.php might get parsed
-	// incorrectly before 5.3 because of :: syntax.
-	if (version_compare(PHP_VERSION, '7.4.0', '<')) {
-		print "<b>Fatal Error</b>: PHP version 7.4.0 or newer required. You're using " . PHP_VERSION . ".\n";
-		exit;
-	}
-
-	set_include_path(__DIR__ ."/include" . PATH_SEPARATOR .
-		get_include_path());
+	set_include_path(__DIR__ . "/include" . PATH_SEPARATOR . get_include_path());
 
 	require_once "autoload.php";
 	require_once "sessions.php";