prefs.php

   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         //<![CDATA[
  53                 if (navigator.userAgent.match("Opera")) {
  54                         document.write('<link rel="stylesheet" type="text/css" href="opera.css">');
  55                 }
  56                 if (navigator.userAgent.match("Gecko") && !navigator.userAgent.match("KHTML")) {
  57                         document.write('<link rel="stylesheet" type="text/css" href="gecko.css">');
  58                 }
  59         //]]>
  60         </script>
  61 </head>
  62
  63 <body id="ttrssPrefs">
  64
  65 <div id="overlay">
  66         <div id="overlay_inner">
  67                 <?php echo __("Loading, please wait...") ?>
  68
  69                 <div id="l_progress_o">
  70                         <div id="l_progress_i"></div>
  71                 </div>
  72
  73         <noscript>
  74                 <div class="error"><?php echo
  75                 __("Your browser doesn't support Javascript, which is required
  76                 for this application to function properly. Please check your
  77                 browser settings.") ?></div>
  78         </noscript>
  79         </div>
  80 </div>
  81
  82
  83 <div id="hotkey_help_overlay" style="display : none" onclick="Element.hide(this)">
  84         <?php rounded_table_start("hho"); ?>
  85         <?php include "help/4.php" ?>
  86         <?php rounded_table_end(); ?>
  87 </div>
  88
  89 <img id="piggie" src="images/piggie.png" style="display : none" alt="piggie"/>
  90
  91 <script type="text/javascript">
  92 if (document.addEventListener) {
  93         document.addEventListener("DOMContentLoaded", init, null);
  94 }
  95 window.onload = init;
  96 </script>
  97
  98 <ul id="debug_output" style='display : none'><li>&nbsp;</li></ul>
  99
 100 <div id="fatal_error"><div id="fatal_error_inner">
 101         <h1>Fatal Error</h1>
 102         <div id="fatal_error_msg"><?php echo __('Unknown Error') ?></div>
 103 </div></div>
 104
 105 <div id="prefHeader">
 106         <div class="topLinks">
 107                 <?php if (!SINGLE_USER_MODE) { ?>
 108                         <?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
 109                 <?php } ?>
 110                 <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
 111                 <?php if (!SINGLE_USER_MODE) { ?>
 112                         | <a href="logout.php"><?php echo __('Logout') ?></a>
 113                 <?php } ?>
 114         </div>
 115         <img src="<?php echo $theme_image_path ?>images/ttrss_logo.png" alt="Tiny Tiny RSS"/>
 116 </div>
 117
 118 <div id="prefTabs">
 119                 <!-- <div class="return">
 120                         <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
 121                 </div> -->
 122
 123                 <div class='prefKbdHelp'>
 124                         <img src="images/small_question.png" alt="?"/> <a href='#' onclick="Effect.Appear('hotkey_help_overlay', {duration: 0.3})">Keyboard shortcuts</a>
 125                 </div>
 126
 127                 <div class="firstTab">&nbsp;</div>
 128
 129                 <div id="genConfigTab" class="prefsTab"
 130                         onclick="selectTab('genConfig')"><?php echo __('Preferences') ?></div>
 131                 <div id="feedConfigTab" class="prefsTab"
 132                         onclick="selectTab('feedConfig')"><?php echo __('My Feeds') ?></div>
 133                 <?php if (ENABLE_FEED_BROWSER && !SINGLE_USER_MODE) { ?>
 134                 <div id="feedBrowserTab" class="prefsTab"
 135                         onclick="selectTab('feedBrowser')"><?php echo __('Other Feeds') ?></div>
 136                 <?php } ?>
 137                 <!-- <div id="pubItemsTab" class="prefsTab"
 138                         onclick="selectTab('pubItems')"><?php echo __('Published Articles') ?></div> -->
 139                 <div id="filterConfigTab" class="prefsTab"
 140                         onclick="selectTab('filterConfig')"><?php echo __('Content Filtering') ?></div>
 141                 <?php if (get_pref($link, 'ENABLE_LABELS')) { ?>
 142                 <div id="labelConfigTab" class="prefsTab"
 143                         onclick="selectTab('labelConfig')"><?php echo __('Label Editor') ?></div>
 144                 <?php } ?>
 145                 <?php if ($_SESSION["access_level"] >= 10) { ?>
 146                 <div id="userConfigTab" class="prefsTab"
 147                         onclick="selectTab('userConfig')"><?php echo __('User Manager') ?></div>
 148                 <?php } ?>
 149 </div>
 150
 151 <div id="prefContentOuter">
 152 <div id="prefContent">
 153         <p><?php echo __('Loading, please wait...') ?></p>
 154         <noscript>
 155                 <div class="error">
 156                 <?php echo __("Your browser doesn't support Javascript, which is required
 157                 for this application to function properly. Please check your
 158                 browser settings.") ?></div>
 159         </noscript>
 160 </div>
 161 </div>
 162
 163 <div id="notify" class="notify"><span id="notify_body">&nbsp;</span></div>
 164 <div id="infoBoxShadow"><div id="infoBox">BAH</div></div>
 165
 166 <div id="dialog_overlay" style="display : none"> </div>
 167
 168 <div id="prefFooter">
 169         <?php if (defined('_DEBUG_USER_SWITCH')) { ?>
 170                 <select id="userSwitch" onchange="userSwitch()">
 171                 <?php
 172                         foreach (array('admin', 'fox', 'test') as $u) {
 173                                 $op_sel = ($u == $_SESSION["name"]) ? "selected" : "";
 174                                 print "<option $op_sel>$u</option>";
 175                         }
 176                 ?>
 177                 </select>
 178         <?php } ?>
 179         <a href="http://tt-rss.org/">Tiny Tiny RSS</a>
 180         <?php if (!defined('HIDE_VERSION')) { ?>
 181                  v<?php echo VERSION ?>
 182         <?php } ?>
 183         &copy; 2005&ndash;2008 <a href="http://bah.org.ru/">Andrew Dolgov</a>
 184 </div>
 185
 186 <?php db_close($link); ?>
 187
 188 <script type="text/javascript">
 189         /* for IE */
 190         function statechange() {
 191                 if (document.readyState == "interactive") init();
 192         }
 193
 194         if (document.readyState) {
 195                 if (document.readyState == "interactive" || document.readyState == "complete") {
 196                         init();
 197                 } else {
 198                         document.onreadystatechange = statechange;
 199                 }
 200         }
 201 </script>
 202
 203 </body>
 204 </html>