]> git.wh0rd.org - tt-rss.git/blob - prefs.php
pngcrush.sh
[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 "autoload.php";
16 require_once "sessions.php";
17 require_once "functions.php";
18 require_once "sanity_check.php";
19 require_once "version.php";
20 require_once "config.php";
21 require_once "db-prefs.php";
22
23 if (!init_plugins()) return;
24
25 login_sequence();
26
27 header('Content-Type: text/html; charset=utf-8');
28 ?>
29 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
30 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
31 <html>
32 <head>
33 <title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
34 <meta name="viewport" content="initial-scale=1,width=device-width" />
35
36 <script type="text/javascript">
37 var __ttrss_version = "<?php echo VERSION ?>"
38 </script>
39
40 <?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
41
42 <?php if ($_SESSION["uid"]) {
43 $theme = get_pref("USER_CSS_THEME", false, false);
44 if ($theme && theme_valid("$theme")) {
45 echo stylesheet_tag(get_theme_path($theme));
46 } else {
47 echo stylesheet_tag("css/default.css");
48 }
49 }
50 ?>
51
52 <?php print_user_stylesheet() ?>
53
54 <link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
55 <link rel="icon" type="image/png" sizes="72x72" href="images/favicon-72px.png" />
56
57 <script>
58 dojoConfig = {
59 async: true,
60 cacheBust: new Date(),
61 packages: [
62 { name: "lib", location: "../" },
63 { name: "fox", location: "../../js" },
64 ]
65 };
66 </script>
67
68 <?php
69 foreach (array("lib/prototype.js",
70 "lib/scriptaculous/scriptaculous.js?load=effects,controls",
71 "lib/dojo/dojo.js",
72 "lib/dojo/tt-rss-layer.js",
73 "errors.php?mode=js") as $jsfile) {
74
75 echo javascript_tag($jsfile);
76
77 } ?>
78
79 <script type="text/javascript">
80 'use strict';
81 require({cache:{}});
82 <?php
83 print get_minified_js(["functions.js", "prefs.js"]);
84 ?>
85 </script>
86 <script type="text/javascript">
87 <?php
88 foreach (PluginHost::getInstance()->get_plugins() as $n => $p) {
89 if (method_exists($p, "get_prefs_js")) {
90 echo "try {";
91 echo JShrink\Minifier::minify($p->get_prefs_js());
92 echo "} catch (e) {
93 console.warn('failed to initialize plugin JS: $n');
94 console.warn(e);
95 }";
96 }
97 }
98
99 init_js_translations();
100 ?>
101 </script>
102
103 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
104
105 <script type="text/javascript">
106 Event.observe(window, 'load', function() {
107 init();
108 });
109 </script>
110
111 </head>
112
113 <body class="claro ttrss_main ttrss_prefs">
114
115 <div id="notify" class="notify"></div>
116 <div id="cmdline" style="display : none"></div>
117
118 <div id="overlay">
119 <div id="overlay_inner">
120 <div class="insensitive"><?php echo __("Loading, please wait...") ?></div>
121 <div dojoType="dijit.ProgressBar" places="0" style="width : 300px" id="loading_bar"
122 progress="0" maximum="100">
123 </div>
124 <noscript><br/><?php print_error('Javascript is disabled. Please enable it.') ?></noscript>
125 </div>
126 </div>
127
128 <div id="header" dojoType="dijit.layout.ContentPane" region="top">
129 <!-- <a href='#' onclick="showHelp()"><?php echo __("Keyboard shortcuts") ?></a> | -->
130 <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
131 </div>
132
133 <div id="main" dojoType="dijit.layout.BorderContainer">
134
135 <div dojoType="dijit.layout.TabContainer" region="center" id="pref-tabs">
136 <div id="genConfigTab" dojoType="dijit.layout.ContentPane"
137 href="backend.php?op=pref-prefs"
138 title="<?php echo __('Preferences') ?>"></div>
139 <div id="feedConfigTab" dojoType="dijit.layout.ContentPane"
140 href="backend.php?op=pref-feeds"
141 title="<?php echo __('Feeds') ?>"></div>
142 <div id="filterConfigTab" dojoType="dijit.layout.ContentPane"
143 href="backend.php?op=pref-filters"
144 title="<?php echo __('Filters') ?>"></div>
145 <div id="labelConfigTab" dojoType="dijit.layout.ContentPane"
146 href="backend.php?op=pref-labels"
147 title="<?php echo __('Labels') ?>"></div>
148 <?php if ($_SESSION["access_level"] >= 10) { ?>
149 <div id="userConfigTab" dojoType="dijit.layout.ContentPane"
150 href="backend.php?op=pref-users"
151 title="<?php echo __('Users') ?>"></div>
152 <div id="systemConfigTab" dojoType="dijit.layout.ContentPane"
153 href="backend.php?op=pref-system"
154 title="<?php echo __('System') ?>"></div>
155 <?php } ?>
156 <?php
157 PluginHost::getInstance()->run_hooks(PluginHost::HOOK_PREFS_TABS,
158 "hook_prefs_tabs", false);
159 ?>
160 </div>
161
162 <div id="footer" dojoType="dijit.layout.ContentPane" region="bottom">
163 <a class="insensitive" target="_blank" href="http://tt-rss.org/">
164 Tiny Tiny RSS</a>
165 <?php if (!defined('HIDE_VERSION')) { ?>
166 v<?php echo VERSION ?>
167 <?php } ?>
168 </div> <!-- footer -->
169
170 </div>
171
172 </body>
173 </html>