]> git.wh0rd.org - tt-rss.git/blame_incremental - prefs.php
remove old-style debugging
[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 header('Content-Type: text/html; charset=utf-8');
20
21?>
22<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
23 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
24<html>
25<head>
26 <title>Tiny Tiny RSS : Preferences</title>
27 <link rel="stylesheet" type="text/css" href="tt-rss.css?<?php echo $dt_add ?>"/>
28 <link rel="stylesheet" type="text/css" href="infobox.css?<?php echo $dt_add ?>"/>
29
30 <?php $user_theme = get_user_theme_path($link);
31 if ($user_theme) { ?>
32 <link rel="stylesheet" type="text/css" href="<?php echo $user_theme ?>/theme.css"/>
33 <?php } ?>
34
35 <?php $user_css_url = get_pref($link, 'USER_STYLESHEET_URL'); ?>
36 <?php if ($user_css_url) { ?>
37 <link type="text/css" href="<?php echo $user_css_url ?>"/>
38 <?php } ?>
39
40 <link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
41
42 <script type="text/javascript" src="lib/prototype.js"></script>
43 <script type="text/javascript" src="lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls"></script>
44
45 <script type="text/javascript" charset="utf-8" src="localized_js.php?<?php echo $dt_add ?>"></script>
46
47 <script type="text/javascript" charset="utf-8" src="functions.js?<?php echo $dt_add ?>"></script>
48 <script type="text/javascript" charset="utf-8" src="prefs.js?<?php echo $dt_add ?>"></script>
49
50 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
51
52 <script type="text/javascript">
53 Event.observe(window, 'load', function() {
54 init();
55 });
56 </script>
57
58</head>
59
60<body id="ttrssPrefs">
61
62<div id="overlay">
63 <div id="overlay_inner">
64 <?php echo __("Loading, please wait...") ?>
65
66 <div id="l_progress_o">
67 <div id="l_progress_i"></div>
68 </div>
69
70 <noscript>
71 <p><?php print_error(__("Your browser doesn't support Javascript, which is required
72 for this application to function properly. Please check your
73 browser settings.")) ?></p>
74 </noscript>
75 </div>
76</div>
77
78<div id="hotkey_help_overlay" style="display : none" onclick="Element.hide(this)">
79 <?php rounded_table_start("hho"); ?>
80 <?php include "help/4.php" ?>
81 <?php rounded_table_end(); ?>
82</div>
83
84<img id="piggie" src="images/piggie.png" style="display : none" alt="piggie"/>
85
86<div id="prefHeader">
87 <div class="topLinks">
88 <?php if (!SINGLE_USER_MODE) { ?>
89 <?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
90 <?php } ?>
91 <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
92 <?php if (!SINGLE_USER_MODE) { ?>
93 | <a href="logout.php"><?php echo __('Logout') ?></a>
94 <?php } ?>
95 </div>
96 <img src="<?php echo theme_image($link, 'images/ttrss_logo.png') ?>" alt="Tiny Tiny RSS"/>
97</div>
98
99<div id="prefTabs">
100 <div class='prefKbdHelp'>
101 <img src="<?php echo theme_image($link, 'images/small_question.png') ?>" alt="?"/> <a href='#' onclick="Effect.Appear('hotkey_help_overlay', {duration: 0.3})"><?php echo __("Keyboard shortcuts") ?></a>
102 </div>
103
104 <div class="firstTab">&nbsp;</div>
105
106 <div id="genConfigTab" class="prefsTab"
107 onclick="selectTab('genConfig')"><?php echo __('Preferences') ?></div>
108 <div id="feedConfigTab" class="prefsTab"
109 onclick="selectTab('feedConfig')"><?php echo __('Feeds') ?></div>
110 <div id="filterConfigTab" class="prefsTab"
111 onclick="selectTab('filterConfig')"><?php echo __('Filters') ?></div>
112 <div id="labelConfigTab" class="prefsTab"
113 onclick="selectTab('labelConfig')"><?php echo __('Labels') ?></div>
114 <?php if ($_SESSION["access_level"] >= 10) { ?>
115 <div id="userConfigTab" class="prefsTab"
116 onclick="selectTab('userConfig')"><?php echo __('Users') ?></div>
117 <?php } ?>
118</div>
119
120<div id="prefContentOuter">
121<div id="prefContent">
122 <p><?php echo __('Loading, please wait...') ?></p>
123 <noscript>
124 <div class="error">
125 <?php echo __("Your browser doesn't support Javascript, which is required
126 for this application to function properly. Please check your
127 browser settings.") ?></div>
128 </noscript>
129</div>
130</div>
131
132<div id="notify" class="notify"><span id="notify_body">&nbsp;</span></div>
133<div id="infoBoxShadow"><div id="infoBox">BAH</div></div>
134<div id="cmdline" style="display : none"></div>
135
136<div id="errorBoxShadow" style="display : none">
137 <div id="errorBox">
138 <div id="xebTitle"><?php echo __('Fatal Exception') ?></div><div id="xebContent">&nbsp;</div>
139 <div id="xebBtn" align='center'>
140 <button onclick="closeErrorBox()"><?php echo __('Close this window') ?></button>
141 </div>
142 </div>
143</div>
144
145<div id="dialog_overlay" style="display : none"> </div>
146
147<div id="prefFooter">
148 <a href="http://tt-rss.org/">Tiny Tiny RSS</a>
149 <?php if (!defined('HIDE_VERSION')) { ?>
150 v<?php echo VERSION ?>
151 <?php } ?>
152 &copy; 2005&ndash;<?php echo date('Y') ?> <a href="http://fakecake.org/">Andrew Dolgov</a>
153</div>
154
155<?php db_close($link); ?>
156
157</body>
158</html>