mirror/RSS-Bridge.rss-bridge
1
0
Fork 0
mirror of https://github.com/RSS-Bridge/rss-bridge.git synced 2025-08-02 09:04:44 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix(arstechnica): plus a few unrelated tweaks (#3829)

Browse source
This commit is contained in:
Dag 2023-12-13 21:40:13 +01:00 • committed by GitHub
parent 0b67544f86
commit f01729c86f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 18 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

6
index.php
View file

@ -6,7 +6,11 @@ if (version_compare(\PHP_VERSION, '7.4.0') === -1) {
require_once __DIR__ . '/lib/bootstrap.php';
Configuration::verifyInstallation();
$errors = Configuration::checkInstallation();
if ($errors) {
die('<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);