diff options
Diffstat (limited to 'prefs.php')
| -rw-r--r-- | prefs.php | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -1,7 +1,17 @@ <?php + if (file_exists("install") && !file_exists("config.php")) { + header("Location: install/"); + } + set_include_path(dirname(__FILE__) ."/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 "sessions.php"; require_once "functions.php"; require_once "sanity_check.php"; @@ -39,7 +49,6 @@ "lib/dojo/dojo.js", "lib/dijit/dijit.js", "lib/dojo/tt-rss-layer.js", - "localized_js.php", "errors.php?mode=js") as $jsfile) { echo javascript_tag($jsfile); @@ -60,6 +69,7 @@ print get_minified_js(array("functions", "deprecated", "prefs")); + init_js_translations(); ?> </script> |