X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=6a83295f87b671b83a02c6f619481f27485b4643;hb=b1840673cd4266813f4b86fdb21799e67caf1083;hp=93b7cbb7899ef22eb60c356bc971fc4b2cf5fa8a;hpb=bf495916ceb38151570cde0cf23e66ca6f981c1e;p=tt-rss.git

diff --git a/prefs.php b/prefs.php
index 93b7cbb7..6a83295f 100644
--- a/prefs.php
+++ b/prefs.php
@@ -32,14 +32,19 @@
 <head>
 	<title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
 
-	<?php stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
-	<?php stylesheet_tag("tt-rss.css"); ?>
-	<?php stylesheet_tag("prefs.css"); ?>
+	<script type="text/javascript">
+		var __ttrss_version = "<?php echo VERSION ?>"
+	</script>
+
+	<?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
+	<?php echo stylesheet_tag("css/layout.css"); ?>
 
 	<?php if ($_SESSION["uid"]) {
 		$theme = get_pref( "USER_CSS_THEME", $_SESSION["uid"], false);
-		if ($theme) {
-			stylesheet_tag("themes/$theme");
+		if ($theme && file_exists("themes/$theme")) {
+			echo stylesheet_tag("themes/$theme");
+		} else {
+			echo stylesheet_tag("themes/default.css");
 		}
 	}
 	?>
@@ -51,19 +56,19 @@
 
 	<?php
 	foreach (array("lib/prototype.js",
-				"lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls",
+				"lib/scriptaculous/scriptaculous.js?load=effects,controls",
 				"lib/dojo/dojo.js",
 				"lib/dojo/tt-rss-layer.js",
 				"errors.php?mode=js") as $jsfile) {
 
-		javascript_tag($jsfile);
+		echo javascript_tag($jsfile);
 
 	} ?>
 
 	<script type="text/javascript">
 		require({cache:{}});
 	<?php
-		require 'lib/jshrink/Minifier.php';
+		require_once 'lib/jshrink/Minifier.php';
 
 		foreach (PluginHost::getInstance()->get_plugins() as $n => $p) {
 			if (method_exists($p, "get_prefs_js")) {
