]> git.wh0rd.org - tt-rss.git/blame_incremental - prefs.php
alter ttrss_labels.sql_exp to text, bump schema (closes #221)
[tt-rss.git] / prefs.php
... / ...
CommitLineData
1<?php
2 error_reporting(E_ERROR | E_WARNING | E_PARSE);
3
4 require_once "functions.php";
5 require_once "sessions.php";
6 require_once "sanity_check.php";
7 require_once "version.php";
8 require_once "config.php";
9 require_once "db-prefs.php";
10
11 $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
12
13 login_sequence($link);
14
15 $dt_add = get_script_dt_add();
16
17 no_cache_incantation();
18
19?>
20<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
21 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
22<html>
23<head>
24 <title>Tiny Tiny RSS : Preferences</title>
25 <link rel="stylesheet" type="text/css" href="tt-rss.css?<?php echo $dt_add ?>">
26
27 <?php $user_theme = $_SESSION["theme"];
28 if ($user_theme) { ?>
29 <link rel="stylesheet" type="text/css" href="themes/<?php echo $user_theme ?>/theme.css">
30 <?php } ?>
31
32 <?php if ($user_theme) { $theme_image_path = "themes/$user_theme/"; } ?>
33
34 <?php $user_css_url = get_pref($link, 'USER_STYLESHEET_URL'); ?>
35 <?php if ($user_css_url) { ?>
36 <link type="text/css" href="<?php echo $user_css_url ?>"/>
37 <?php } ?>
38
39 <link rel="shortcut icon" type="image/png" href="images/favicon.png">
40
41 <script type="text/javascript" src="prototype.js"></script>
42 <script type="text/javascript" src="scriptaculous/scriptaculous.js?load=effects,dragdrop,controls"></script>
43
44 <script type="text/javascript" src="localized_js.php?<?php echo $dt_add ?>"></script>
45
46 <script type="text/javascript" src="functions.js?<?php echo $dt_add ?>"></script>
47 <script type="text/javascript" src="prefs.js?<?php echo $dt_add ?>"></script>
48
49 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
50
51 <script type="text/javascript">
52 if (navigator.userAgent.match("Opera")) {
53 document.write('<link rel="stylesheet" type="text/css" href="opera.css">');
54 }
55 if (navigator.userAgent.match("Gecko") && !navigator.userAgent.match("KHTML")) {
56 document.write('<link rel="stylesheet" type="text/css" href="gecko.css">');
57 }
58 </script>
59</head>
60
61<body id="ttrssPrefs">
62
63<div id="overlay">
64 <div id="overlay_inner">
65 <?php echo __("Loading, please wait...") ?>
66
67 <div id="l_progress_o">
68 <div id="l_progress_i"></div>
69 </div>
70
71 <noscript>
72 <div class="error"><?php echo
73 __("Your browser doesn't support Javascript, which is required
74 for this application to function properly. Please check your
75 browser settings.") ?></div>
76 </noscript>
77 </div>
78</div>
79
80
81<div id="hotkey_help_overlay" style="display : none" onclick="Element.hide(this)">
82 <?php rounded_table_start("hho"); ?>
83 <?php include "help/4.php" ?>
84 <?php rounded_table_end(); ?>
85</div>
86
87<img id="piggie" src="images/piggie.png" style="display : none" alt="piggie">
88
89<script type="text/javascript">
90if (document.addEventListener) {
91 document.addEventListener("DOMContentLoaded", init, null);
92}
93window.onload = init;
94</script>
95
96<ul id="debug_output" style='display : none'></ul>
97
98<div id="fatal_error"><div id="fatal_error_inner">
99 <h1>Fatal Error</h1>
100 <div id="fatal_error_msg"><?php echo __('Unknown Error') ?></div>
101</div></div>
102
103<div id="prefHeader">
104 <div class="topLinks">
105 <?php if (!SINGLE_USER_MODE) { ?>
106 <?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
107 <?php } ?>
108 <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
109 <?php if (!SINGLE_USER_MODE) { ?>
110 | <a href="logout.php"><?php echo __('Logout') ?></a>
111 <?php } ?>
112 </div>
113 <img src="<?php echo $theme_image_path ?>images/ttrss_logo.png" alt="Tiny Tiny RSS"/>
114</div>
115
116<div id="prefTabs">
117 <!-- <div class="return">
118 <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
119 </div> -->
120
121 <div class='prefKbdHelp'>
122 <img src="images/small_question.png" alt="?"> <a href='#' onclick="Effect.Appear('hotkey_help_overlay', {duration: 0.3})">Keyboard shortcuts</a>
123 </div>
124
125 <div class="firstTab">&nbsp;</div>
126
127 <div id="genConfigTab" class="prefsTab"
128 onclick="selectTab('genConfig')"><?php echo __('Preferences') ?></div>
129 <div id="feedConfigTab" class="prefsTab"
130 onclick="selectTab('feedConfig')"><?php echo __('My Feeds') ?></div>
131 <?php if (ENABLE_FEED_BROWSER && !SINGLE_USER_MODE) { ?>
132 <div id="feedBrowserTab" class="prefsTab"
133 onclick="selectTab('feedBrowser')"><?php echo __('Other Feeds') ?></div>
134 <?php } ?>
135 <!-- <div id="pubItemsTab" class="prefsTab"
136 onclick="selectTab('pubItems')"><?php echo __('Published Articles') ?></div> -->
137 <div id="filterConfigTab" class="prefsTab"
138 onclick="selectTab('filterConfig')"><?php echo __('Content Filtering') ?></div>
139 <?php if (get_pref($link, 'ENABLE_LABELS')) { ?>
140 <div id="labelConfigTab" class="prefsTab"
141 onclick="selectTab('labelConfig')"><?php echo __('Label Editor') ?></div>
142 <?php } ?>
143 <?php if ($_SESSION["access_level"] >= 10) { ?>
144 <div id="userConfigTab" class="prefsTab"
145 onclick="selectTab('userConfig')"><?php echo __('User Manager') ?></div>
146 <?php } ?>
147</div>
148
149<div id="prefContentOuter">
150<div id="prefContent">
151 <p><?php echo __('Loading, please wait...') ?></p>
152 <noscript>
153 <div class="error">
154 <?php echo __("Your browser doesn't support Javascript, which is required
155 for this application to function properly. Please check your
156 browser settings.") ?></div>
157 </noscript>
158</div>
159</div>
160
161<div id="notify" class="notify"><span id="notify_body">&nbsp;</span></div>
162<div id="infoBoxShadow"><div id="infoBox">BAH</div></div>
163
164<div id="dialog_overlay" style="display : none"> </div>
165
166<div id="prefFooter">
167 <?php if (defined('_DEBUG_USER_SWITCH')) { ?>
168 <select id="userSwitch" onchange="userSwitch()">
169 <?php
170 foreach (array('admin', 'fox', 'test') as $u) {
171 $op_sel = ($u == $_SESSION["name"]) ? "selected" : "";
172 print "<option $op_sel>$u</option>";
173 }
174 ?>
175 </select>
176 <?php } ?>
177 <a href="http://tt-rss.org/">Tiny Tiny RSS</a>
178 <?php if (!defined('HIDE_VERSION')) { ?>
179 v<?php echo VERSION ?>
180 <?php } ?>
181 &copy; 2005&ndash;2008 <a href="http://bah.org.ru/">Andrew Dolgov</a>
182</div>
183
184<?php db_close($link); ?>
185
186<script type="text/javascript">
187 /* for IE */
188 function statechange() {
189 if (document.readyState == "interactive") init();
190 }
191
192 if (document.readyState) {
193 if (document.readyState == "interactive" || document.readyState == "complete") {
194 init();
195 } else {
196 document.onreadystatechange = statechange;
197 }
198 }
199</script>
200
201</body>
202</html>