<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"); ?>
+ <?php stylesheet_tag("css/layout.css"); ?>
<?php if ($_SESSION["uid"]) {
$theme = get_pref( "USER_CSS_THEME", $_SESSION["uid"], false);
- if ($theme) {
+ if ($theme && file_exists("themes/$theme")) {
stylesheet_tag("themes/$theme");
+ } else {
+ stylesheet_tag("themes/default.css");
}
}
?>
<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")) {