<?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";
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<head>
- <title><?php echo get_site_title() ?> : <?php echo __("Preferences") ?></title>
+ <title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
<?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
<?php echo stylesheet_tag("tt-rss.css"); ?>
+ <?php echo stylesheet_tag("prefs.css"); ?>
+
+ <?php if ($_SESSION["uid"]) {
+ $theme = get_pref($link, "USER_CSS_THEME", $_SESSION["uid"], false);
+ if ($theme) {
+ echo stylesheet_tag("themes/$theme");
+ }
+ }
+ ?>
<?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>