diff options
author | Andrew Dolgov <[email protected]> | 2023-02-25 19:30:41 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2023-02-25 19:30:41 +0300 |
commit | 4d825fa6a698645dc588bde6ef5339e534b5f31c (patch) | |
tree | f453d27166ff5be51669541a101a9825057f2fe4 /classes/config.php | |
parent | a2af3a6bb4060af2903112101c9b6f4b2801b878 (diff) |
require PHP to have support for flock()
Diffstat (limited to 'classes/config.php')
-rw-r--r-- | classes/config.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/classes/config.php b/classes/config.php index 9a8b466ab..a865266ca 100644 --- a/classes/config.php +++ b/classes/config.php @@ -541,6 +541,10 @@ class Config { array_push($errors, "PHP support for JSON is required, but was not found."); } + if (!function_exists("flock")) { + array_push($errors, "PHP support for flock() function is required."); + } + if (!class_exists("PDO")) { array_push($errors, "PHP support for PDO is required but was not found."); } |