diff options
Diffstat (limited to 'index.php')
| -rw-r--r-- | index.php | 11 |
1 files changed, 2 insertions, 9 deletions
@@ -1,9 +1,4 @@ <?php - 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; - } // we need a separate check here because functions.php might get parsed // incorrectly before 5.3 because of :: syntax. @@ -19,8 +14,6 @@ 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; @@ -42,8 +35,8 @@ } } ?> - <?php if (theme_exists(LOCAL_OVERRIDE_STYLESHEET)) { - echo stylesheet_tag(get_theme_path(LOCAL_OVERRIDE_STYLESHEET)); + <?php if (theme_exists(Config::get(Config::LOCAL_OVERRIDE_STYLESHEET))) { + echo stylesheet_tag(get_theme_path(Config::get(Config::LOCAL_OVERRIDE_STYLESHEET))); } ?> <script type="text/javascript"> |