mirror/RSS-Bridge.rss-bridge
1
0
Fork 0
mirror of https://github.com/RSS-Bridge/rss-bridge.git synced 2025-07-10 05:54:41 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

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

Browse source
This commit is contained in:
Dag 2024-01-09 20:33:35 +01:00 • committed by GitHub
parent 3ce94409ab
commit 0bf5dbbc0b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
10 changed files with 95 additions and 45 deletions
Download patch file Download diff file Expand all files Collapse all files

15
lib/bootstrap.php
View file

@ -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());