prefs.php 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166
  1. <?php
  2. error_reporting(E_ERROR | E_WARNING | E_PARSE);
  3. require_once "functions.php";
  4. startup_gettext();
  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. $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
  11. login_sequence($link);
  12. $dt_add = get_script_dt_add();
  13. no_cache_incantation();
  14. ?>
  15. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  16. "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  17. <html>
  18. <head>
  19. <title>Tiny Tiny RSS : Preferences</title>
  20. <link rel="stylesheet" href="tt-rss.css" type="text/css">
  21. <?php $user_theme = $_SESSION["theme"];
  22. if ($user_theme) { ?>
  23. <link rel="stylesheet" type="text/css" href="themes/<?php echo $user_theme ?>/theme.css">
  24. <?php } ?>
  25. <?php if ($user_theme) { $theme_image_path = "themes/$user_theme/"; } ?>
  26. <?php $user_css_url = get_pref($link, 'USER_STYLESHEET_URL'); ?>
  27. <?php if ($user_css_url) { ?>
  28. <link type="text/css" href="<?php echo $user_css_url ?>"/>
  29. <?php } ?>
  30. <link rel="shortcut icon" type="image/png" href="images/favicon.png">
  31. <script type="text/javascript" src="prototype.js"></script>
  32. <script type="text/javascript" src="functions.js?<?php echo $dt_add ?>"></script>
  33. <script type="text/javascript" src="prefs.js?<?php echo $dt_add ?>"></script>
  34. <div id="infoBoxShadow"><div id="infoBox">BAH</div></div>
  35. <!--[if gte IE 5.5000]>
  36. <script type="text/javascript" src="pngfix.js"></script>
  37. <link rel="stylesheet" type="text/css" href="tt-rss-ie.css">
  38. <![endif]-->
  39. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  40. <script type="text/javascript">
  41. if (navigator.userAgent.match("Opera")) {
  42. document.write('<link rel="stylesheet" type="text/css" href="opera.css">');
  43. }
  44. if (navigator.userAgent.match("Gecko") && !navigator.userAgent.match("KHTML")) {
  45. document.write('<link rel="stylesheet" type="text/css" href="gecko.css">');
  46. }
  47. </script>
  48. </head>
  49. <body>
  50. <div id="piggie">&nbsp;</div>
  51. <iframe id="backReqBox"></iframe>
  52. <script type="text/javascript">
  53. if (document.addEventListener) {
  54. document.addEventListener("DOMContentLoaded", init, null);
  55. }
  56. window.onload = init;
  57. </script>
  58. <ul id="debug_output"></ul>
  59. <div id="notify" class="notify"><span id="notify_body">&nbsp;</span></div>
  60. <div id="fatal_error"><div id="fatal_error_inner">
  61. <h1>Fatal Error</h1>
  62. <div id="fatal_error_msg"><?php echo __('Unknown Error') ?></div>
  63. </div></div>
  64. <div id="prefHeader">
  65. <?php if (!SINGLE_USER_MODE) { ?>
  66. <div style="float : right">
  67. <?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b>
  68. (<a href="logout.php">Logout</a>)
  69. </div>
  70. <?php } ?>
  71. <img src="<?php echo $theme_image_path ?>images/ttrss_logo.png" alt="Tiny Tiny RSS"/>
  72. </div>
  73. <div class="return">
  74. <a href="#" onclick="gotoMain()">Exit preferences</a>
  75. </div>
  76. <div class="firstTab">&nbsp;</div>
  77. <div id="genConfigTab" class="prefsTab"
  78. onclick="selectTab('genConfig')"><?php echo __('Preferences') ?></div>
  79. <div id="feedConfigTab" class="prefsTab"
  80. onclick="selectTab('feedConfig')"><?php echo __('My Feeds') ?></div>
  81. <?php if (ENABLE_FEED_BROWSER && !SINGLE_USER_MODE) { ?>
  82. <div id="feedBrowserTab" class="prefsTab"
  83. onclick="selectTab('feedBrowser')"><?php echo __('Other Feeds') ?></div>
  84. <?php } ?>
  85. <div id="filterConfigTab" class="prefsTab"
  86. onclick="selectTab('filterConfig')"><?php echo __('Content Filtering') ?></div>
  87. <?php if (get_pref($link, 'ENABLE_LABELS')) { ?>
  88. <div id="labelConfigTab" class="prefsTab"
  89. onclick="selectTab('labelConfig')"><?php echo __('Label Editor') ?></div>
  90. <?php } ?>
  91. <?php if ($_SESSION["access_level"] >= 10) { ?>
  92. <div id="userConfigTab" class="prefsTab"
  93. onclick="selectTab('userConfig')"><?php echo __('User Manager') ?></div>
  94. <?php } ?>
  95. <div id="prefContent">
  96. <p><?php echo __('Loading, please wait...') ?></p>
  97. <noscript>
  98. <div class="error">
  99. <?php echo __("Your browser doesn't support Javascript, which is required
  100. for this application to function properly. Please check your
  101. browser settings.") ?></div>
  102. </noscript>
  103. </div>
  104. <div id="prefFooter">
  105. <?php if (defined('_DEBUG_USER_SWITCH')) { ?>
  106. <select id="userSwitch" onchange="userSwitch()">
  107. <?php
  108. foreach (array('admin', 'fox', 'test') as $u) {
  109. $op_sel = ($u == $_SESSION["name"]) ? "selected" : "";
  110. print "<option $op_sel>$u</option>";
  111. }
  112. ?>
  113. </select>
  114. <?php } ?>
  115. <a href="http://tt-rss.spb.ru/">Tiny Tiny RSS</a> v<?php echo VERSION ?> &copy; 2005-2007 <a href="http://bah.org.ru/">Andrew Dolgov</a>
  116. </div>
  117. <?php db_close($link); ?>
  118. <script type="text/javascript">
  119. /* for IE */
  120. function statechange() {
  121. if (document.readyState == "interactive") init();
  122. }
  123. if (document.readyState) {
  124. if (document.readyState == "interactive" || document.readyState == "complete") {
  125. init();
  126. } else {
  127. document.onreadystatechange = statechange;
  128. }
  129. }
  130. </script>
  131. </body>
  132. </html>