tt-rss/prefs.php

164 lines
4.8 KiB
PHP
Raw Normal View History

2006-08-19 09:04:45 +02:00
<?php
require_once "functions.php";
basic_nosid_redirect_check();
2006-03-02 09:10:43 +01:00
require_once "sessions.php";
require_once "sanity_check.php";
require_once "version.php";
require_once "config.php";
require_once "db-prefs.php";
$link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
2005-11-17 19:29:13 +01:00
login_sequence($link);
2006-03-30 08:43:35 +02:00
$dt_add = get_script_dt_add();
2006-03-30 08:43:35 +02:00
?>
2006-09-30 08:49:50 +02:00
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2005-08-22 03:17:12 +02:00
<html>
<head>
2005-09-07 09:19:14 +02:00
<title>Tiny Tiny RSS : Preferences</title>
2005-08-22 03:17:12 +02:00
<link rel="stylesheet" href="tt-rss.css" type="text/css">
2006-08-19 09:04:45 +02:00
<?php $user_theme = $_SESSION["theme"];
if ($user_theme) { ?>
2006-08-19 09:04:45 +02:00
<link rel="stylesheet" type="text/css" href="themes/<?php echo $user_theme ?>/theme.css">
<?php } ?>
2006-08-19 09:04:45 +02:00
<?php if ($user_theme) { $theme_image_path = "themes/$user_theme/"; } ?>
2006-06-06 09:11:03 +02:00
2006-08-19 09:04:45 +02:00
<?php $user_css_url = get_pref($link, 'USER_STYLESHEET_URL'); ?>
<?php if ($user_css_url) { ?>
<link type="text/css" href="<?php echo $user_css_url ?>"/>
<?php } ?>
2005-11-22 07:44:19 +01:00
2006-09-11 08:49:46 +02:00
<link rel="shortcut icon" type="image/png" href="images/favicon.png">
2006-05-20 13:16:16 +02:00
<script type="text/javascript" src="prototype.js"></script>
2006-08-19 09:04:45 +02:00
<script type="text/javascript" src="functions.js?<?php echo $dt_add ?>"></script>
<script type="text/javascript" src="prefs.js?<?php echo $dt_add ?>"></script>
2005-11-17 08:10:31 +01:00
<div id="infoBoxShadow"><div id="infoBox">BAH</div></div>
2005-09-08 07:02:49 +02:00
<!--[if gte IE 5.5000]>
<script type="text/javascript" src="pngfix.js"></script>
2006-05-18 08:02:18 +02:00
<link rel="stylesheet" type="text/css" href="tt-rss-ie.css">
2005-09-08 07:02:49 +02:00
<![endif]-->
2005-08-22 03:17:12 +02:00
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
2006-02-26 08:21:22 +01:00
<script type="text/javascript">
if (navigator.userAgent.match("Opera")) {
document.write('<link rel="stylesheet" type="text/css" href="opera.css">');
}
2006-05-19 05:52:19 +02:00
if (navigator.userAgent.match("Gecko") && !navigator.userAgent.match("KHTML")) {
document.write('<link rel="stylesheet" type="text/css" href="gecko.css">');
}
2006-02-26 08:21:22 +01:00
</script>
2005-08-22 03:17:12 +02:00
</head>
2006-02-24 11:15:30 +01:00
<body>
2006-08-12 16:57:13 +02:00
<div id="piggie">&nbsp;</div>
2006-02-25 06:54:53 +01:00
2006-07-25 12:32:58 +02:00
<iframe id="backReqBox"></iframe>
2006-02-24 11:15:30 +01:00
<script type="text/javascript">
if (document.addEventListener) {
document.addEventListener("DOMContentLoaded", init, null);
}
window.onload = init;
</script>
2005-08-22 03:17:12 +02:00
<ul id="debug_output"></ul>
2006-09-30 08:49:50 +02:00
<div id="notify" class="notify"><span id="notify_body">&nbsp;</span></div>
<div id="fatal_error"><div id="fatal_error_inner">
<h1>Fatal Error</h1>
2006-12-21 18:12:51 +01:00
<div id="fatal_error_msg"><?php echo _('Unknown Error') ?></div>
</div></div>
2006-09-30 08:49:50 +02:00
<div id="prefHeader">
<?php if (!SINGLE_USER_MODE) { ?>
<div style="float : right">
2006-12-21 18:12:51 +01:00
<?php echo _('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b>
(<a href="logout.php">Logout</a>)
2006-09-30 08:49:50 +02:00
</div>
<?php } ?>
<img src="<?php echo $theme_image_path ?>images/ttrss_logo.png" alt="Tiny Tiny RSS"/>
</div>
<div class="return">
<a href="#" onclick="gotoMain()">Exit preferences</a>
</div>
2006-09-30 12:47:46 +02:00
<div class="firstTab">&nbsp;</div>
<div id="genConfigTab" class="prefsTab"
2006-12-21 18:12:51 +01:00
onclick="selectTab('genConfig')"><?php echo _('Preferences') ?></div>
2006-09-30 12:47:46 +02:00
<div id="feedConfigTab" class="prefsTab"
2006-12-21 18:12:51 +01:00
onclick="selectTab('feedConfig')"><?php echo _('My Feeds') ?></div>
2006-08-19 09:04:45 +02:00
<?php if (ENABLE_FEED_BROWSER && !SINGLE_USER_MODE) { ?>
2006-09-30 12:47:46 +02:00
<div id="feedBrowserTab" class="prefsTab"
2006-12-21 18:12:51 +01:00
onclick="selectTab('feedBrowser')"><?php echo _('Other Feeds') ?></div>
2006-08-19 09:04:45 +02:00
<?php } ?>
2006-09-30 12:47:46 +02:00
<div id="filterConfigTab" class="prefsTab"
2006-12-21 18:12:51 +01:00
onclick="selectTab('filterConfig')"><?php echo _('Content Filtering') ?></div>
2006-08-19 09:04:45 +02:00
<?php if (get_pref($link, 'ENABLE_LABELS')) { ?>
2006-09-30 12:47:46 +02:00
<div id="labelConfigTab" class="prefsTab"
2006-12-21 18:12:51 +01:00
onclick="selectTab('labelConfig')"><?php echo _('Label Editor') ?></div>
2006-08-19 09:04:45 +02:00
<?php } ?>
<?php if ($_SESSION["access_level"] >= 10) { ?>
2006-09-30 12:47:46 +02:00
<div id="userConfigTab" class="prefsTab"
2006-12-21 18:12:51 +01:00
onclick="selectTab('userConfig')"><?php echo _('User Manager') ?></div>
2006-08-19 09:04:45 +02:00
<?php } ?>
2006-09-30 08:49:50 +02:00
<div id="prefContent">
2006-12-21 18:12:51 +01:00
<p><?php echo _('Loading, please wait...') ?></p>
2006-10-04 15:38:18 +02:00
<noscript>
<div class="error">
2006-12-21 18:12:51 +01:00
<?php echo _("Your browser doesn't support Javascript, which is required
2006-10-04 15:38:18 +02:00
for this application to function properly. Please check your
2006-12-21 18:12:51 +01:00
browser settings.") ?></div>
2006-10-04 15:38:18 +02:00
</noscript>
2006-09-30 08:49:50 +02:00
</div>
2005-08-22 03:17:12 +02:00
2006-10-01 06:40:40 +02:00
<div id="prefFooter">
<?php if (defined('_DEBUG_USER_SWITCH')) { ?>
<select id="userSwitch" onchange="userSwitch()">
<?php
foreach (array('admin', 'fox', 'test') as $u) {
$op_sel = ($u == $_SESSION["name"]) ? "selected" : "";
print "<option $op_sel>$u</option>";
}
?>
</select>
<?php } ?>
2006-10-01 06:40:40 +02:00
<a href="http://tt-rss.spb.ru/">Tiny Tiny RSS</a> v<?php echo VERSION ?> &copy; 2005-2006 Andrew Dolgov
</div>
2006-08-19 09:04:45 +02:00
<?php db_close($link); ?>
2005-08-22 03:17:12 +02:00
2006-02-24 11:15:30 +01:00
<script type="text/javascript">
/* for IE */
function statechange() {
if (document.readyState == "interactive") init();
}
if (document.readyState) {
if (document.readyState == "interactive" || document.readyState == "complete") {
init();
} else {
document.onreadystatechange = statechange;
}
}
</script>
2005-08-22 03:17:12 +02:00
</body>
</html>