<?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";
<?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
<?php echo stylesheet_tag("tt-rss.css"); ?>
+ <?php echo stylesheet_tag("prefs.css"); ?>
<?php print_user_stylesheet($link) ?>
"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);
print get_minified_js(array("functions", "deprecated", "prefs"));
+ init_js_translations();
?>
</script>