]> git.wh0rd.org - tt-rss.git/blob - prefs.php
add ability to select CSS files in themes/
[tt-rss.git] / prefs.php
1 <?php
2 if (file_exists("install") && !file_exists("config.php")) {
3 header("Location: install/");
4 }
5
6 set_include_path(dirname(__FILE__) ."/include" . PATH_SEPARATOR .
7 get_include_path());
8
9 if (!file_exists("config.php")) {
10 print "<b>Fatal Error</b>: You forgot to copy
11 <b>config.php-dist</b> to <b>config.php</b> and edit it.\n";
12 exit;
13 }
14
15 require_once "sessions.php";
16 require_once "functions.php";
17 require_once "sanity_check.php";
18 require_once "version.php";
19 require_once "config.php";
20 require_once "db-prefs.php";
21
22 $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
23
24 if (!init_connection($link)) return;
25
26 login_sequence($link);
27
28 no_cache_incantation();
29
30 header('Content-Type: text/html; charset=utf-8');
31 ?>
32 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
33 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
34 <html>
35 <head>
36 <title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
37
38 <?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
39 <?php echo stylesheet_tag("tt-rss.css"); ?>
40 <?php echo stylesheet_tag("prefs.css"); ?>
41
42 <?php if ($_SESSION["uid"]) {
43 $theme = get_pref($link, "USER_CSS_THEME", $_SESSION["uid"], false);
44 if ($theme) {
45 echo stylesheet_tag("themes/$theme");
46 }
47 }
48 ?>
49
50 <?php print_user_stylesheet($link) ?>
51
52 <link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
53 <link rel="icon" type="image/png" sizes="72x72" href="images/favicon-72px.png" />
54
55 <?php
56 foreach (array("lib/prototype.js",
57 "lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls",
58 "lib/dojo/dojo.js",
59 "lib/dijit/dijit.js",
60 "lib/dojo/tt-rss-layer.js",
61 "errors.php?mode=js") as $jsfile) {
62
63 echo javascript_tag($jsfile);
64
65 } ?>
66
67 <script type="text/javascript">
68 <?php
69 require 'lib/jshrink/Minifier.php';
70
71 global $pluginhost;
72
73 foreach ($pluginhost->get_plugins() as $n => $p) {
74 if (method_exists($p, "get_prefs_js")) {
75 echo JShrink\Minifier::minify($p->get_prefs_js());
76 }
77 }
78
79 print get_minified_js(array("functions", "deprecated", "prefs"));
80
81 init_js_translations();
82 ?>
83 </script>
84
85 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
86
87 <script type="text/javascript">
88 Event.observe(window, 'load', function() {
89 init();
90 });
91 </script>
92
93 </head>
94
95 <body id="ttrssPrefs" class="claro">
96
97 <div id="notify" class="notify"><span id="notify_body">&nbsp;</span></div>
98 <div id="cmdline" style="display : none"></div>
99
100 <div id="overlay">
101 <div id="overlay_inner">
102 <div class="insensitive"><?php echo __("Loading, please wait...") ?></div>
103 <div dojoType="dijit.ProgressBar" places="0" style="width : 300px" id="loading_bar"
104 progress="0" maximum="100">
105 </div>
106 <noscript><br/><?php print_error('Javascript is disabled. Please enable it.') ?></noscript>
107 </div>
108 </div>
109
110 <img id="piggie" src="images/piggie.png" style="display : none" alt="piggie"/>
111
112 <div id="header" dojoType="dijit.layout.ContentPane" region="top">
113 <!-- <a href='#' onclick="showHelp()"><?php echo __("Keyboard shortcuts") ?></a> | -->
114 <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
115 </div>
116
117 <div id="main" dojoType="dijit.layout.BorderContainer">
118
119 <div dojoType="dijit.layout.TabContainer" region="center" id="pref-tabs">
120 <div id="genConfigTab" dojoType="dijit.layout.ContentPane"
121 href="backend.php?op=pref-prefs"
122 title="<?php echo __('Preferences') ?>"></div>
123 <div id="feedConfigTab" dojoType="dijit.layout.ContentPane"
124 href="backend.php?op=pref-feeds"
125 title="<?php echo __('Feeds') ?>"></div>
126 <div id="filterConfigTab" dojoType="dijit.layout.ContentPane"
127 href="backend.php?op=pref-filters"
128 title="<?php echo __('Filters') ?>"></div>
129 <div id="labelConfigTab" dojoType="dijit.layout.ContentPane"
130 href="backend.php?op=pref-labels"
131 title="<?php echo __('Labels') ?>"></div>
132 <?php if ($_SESSION["access_level"] >= 10) { ?>
133 <div id="userConfigTab" dojoType="dijit.layout.ContentPane"
134 href="backend.php?op=pref-users"
135 title="<?php echo __('Users') ?>"></div>
136 <?php } ?>
137 <?php
138 $pluginhost->run_hooks($pluginhost::HOOK_PREFS_TABS,
139 "hook_prefs_tabs", false);
140 ?>
141 </div>
142
143 <div id="footer" dojoType="dijit.layout.ContentPane" region="bottom">
144 <a class="insensitive" target="_blank" href="http://tt-rss.org/">
145 Tiny Tiny RSS</a> &copy; 2005-<?php echo date('Y') ?>
146 <a class="insensitive" target="_blank"
147 href="http://fakecake.org/">Andrew Dolgov</a>
148 </div> <!-- footer -->
149
150 </div>
151
152 <?php db_close($link); ?>
153
154 </body>
155 </html>