chore: add tools for manually administrating the configured cache (#3867)

1 files changed, 15 insertions, 0 deletions

diff --git a/lib/bootstrap.php b/lib/bootstrap.php
index 85d823e9..fe2069d3 100644
--- a/lib/bootstrap.php
+++ b/lib/bootstrap.php
@@ -1,5 +1,9 @@
 <?php
 
+if (version_compare(\PHP_VERSION, '7.4.0') === -1) {
+    exit('RSS-Bridge requires minimum PHP version 7.4.0!');
+}
+
 // Path to the formats library
 const PATH_LIB_FORMATS = __DIR__ . '/../formats/';
 
@@ -46,3 +50,14 @@ spl_autoload_register(function ($className) {
         }
     }
 });
+
+$errors = Configuration::checkInstallation();
+if ($errors) {
+    exit('<pre>' . implode("\n", $errors) . '</pre>');
+}
+
+$customConfig = [];
+if (file_exists(__DIR__ . '/../config.ini.php')) {
+    $customConfig = parse_ini_file(__DIR__ . '/../config.ini.php', true, INI_SCANNER_TYPED);
+}
+Configuration::loadConfiguration($customConfig, getenv());