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