summaryrefslogtreecommitdiff
path: root/prefs.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2021-02-22 22:39:20 +0300
committerAndrew Dolgov <[email protected]>2021-02-22 22:39:20 +0300
commit12bcf826e4f2672afbda85264a970fb4735d97f1 (patch)
treebeaaeb8942d423a183f9d1b39953dd76bf619a81 /prefs.php
parent211f699aa0c4211e4ee8a02446d51b9811d0c28c (diff)
don't include config.php everywhere
Diffstat (limited to 'prefs.php')
-rw-r--r--prefs.php7
1 files changed, 0 insertions, 7 deletions
diff --git a/prefs.php b/prefs.php
index b6026eb23..141118534 100644
--- a/prefs.php
+++ b/prefs.php
@@ -2,17 +2,10 @@
set_include_path(__DIR__ ."/include" . PATH_SEPARATOR .
get_include_path());
- if (!file_exists("config.php")) {
- print "<b>Fatal Error</b>: You forgot to copy
- <b>config.php-dist</b> to <b>config.php</b> and edit it.\n";
- exit;
- }
-
require_once "autoload.php";
require_once "sessions.php";
require_once "functions.php";
require_once "sanity_check.php";
- require_once "config.php";
require_once "db-prefs.php";
if (!init_plugins()) return;