tinytinyrss/prefs.php

151 lines
4.8 KiB
PHP
Raw Normal View History

2006-08-19 09:04:45 +02:00
<?php
require_once "functions.php";
2007-03-02 12:05:17 +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
init_connection($link);
login_sequence($link);
2006-03-30 08:43:35 +02:00
2010-11-08 09:42:05 +01:00
$dt_add = time();
2006-03-30 08:43:35 +02:00
2007-03-02 12:34:34 +01:00
no_cache_incantation();
header('Content-Type: text/html; charset=utf-8');
?>
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>
<link rel="stylesheet" type="text/css" href="tt-rss.css?<?php echo $dt_add ?>"/>
2010-11-15 19:49:00 +01:00
<link rel="stylesheet" type="text/css" href="lib/dijit/themes/claro/claro.css"/>
<?php $user_theme = get_user_theme_path($link);
if ($user_theme) { ?>
<link rel="stylesheet" type="text/css" href="<?php echo $user_theme ?>/theme.css"/>
2006-08-19 09:04:45 +02:00
<?php } ?>
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
<link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
2006-09-11 08:49:46 +02:00
<script type="text/javascript" src="lib/prototype.js"></script>
<script type="text/javascript" src="lib/position.js"></script>
2009-01-22 14:36:04 +01:00
<script type="text/javascript" src="lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls"></script>
2010-11-15 19:49:00 +01:00
<script type="text/javascript" src="lib/dojo/dojo.js" djConfig="parseOnLoad: true"></script>
<script type="text/javascript" charset="utf-8" src="localized_js.php?<?php echo $dt_add ?>"></script>
2006-05-20 13:16:16 +02:00
<script type="text/javascript" charset="utf-8" src="functions.js?<?php echo $dt_add ?>"></script>
2010-11-12 11:52:53 +01:00
<script type="text/javascript" charset="utf-8" src="deprecated.js?<?php echo $dt_add ?>"></script>
<script type="text/javascript" charset="utf-8" src="prefs.js?<?php echo $dt_add ?>"></script>
2005-11-17 08:10:31 +01:00
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
2006-02-26 08:21:22 +01:00
<script type="text/javascript">
Event.observe(window, 'load', function() {
init();
});
2006-02-26 08:21:22 +01:00
</script>
2005-08-22 03:17:12 +02:00
</head>
2010-11-15 19:49:00 +01:00
<body id="ttrssPrefs" class="claro">
2006-02-24 11:15:30 +01:00
2008-05-19 14:00:35 +02:00
<div id="overlay">
<div id="overlay_inner">
<?php echo __("Loading, please wait...") ?>
<div id="l_progress_o">
<div id="l_progress_i"></div>
</div>
<noscript>
2009-10-07 12:47:41 +02:00
<p><?php print_error(__("Your browser doesn't support Javascript, which is required
2008-05-19 14:00:35 +02:00
for this application to function properly. Please check your
2009-10-07 12:47:41 +02:00
browser settings.")) ?></p>
2008-05-19 14:00:35 +02:00
</noscript>
</div>
</div>
<div id="hotkey_help_overlay" style="display : none" onclick="Element.hide(this)">
2008-05-16 08:05:12 +02:00
<?php rounded_table_start("hho"); ?>
<?php include "help/4.php" ?>
2008-05-16 08:05:12 +02:00
<?php rounded_table_end(); ?>
</div>
<img id="piggie" src="images/piggie.png" style="display : none" alt="piggie"/>
2008-05-16 08:05:12 +02:00
2006-09-30 08:49:50 +02:00
<div id="prefHeader">
2007-11-18 07:00:09 +01:00
<div class="topLinks">
<?php if (!SINGLE_USER_MODE) { ?>
<?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
2007-11-18 07:00:09 +01:00
<?php } ?>
<a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
<?php if (!SINGLE_USER_MODE) { ?>
| <a href="logout.php"><?php echo __('Logout') ?></a>
<?php } ?>
</div>
<img src="<?php echo theme_image($link, 'images/ttrss_logo.png') ?>" alt="Tiny Tiny RSS"/>
2006-09-30 08:49:50 +02:00
</div>
<div id="prefTabs">
2008-05-16 08:53:55 +02:00
<div class='prefKbdHelp'>
<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>
2008-05-16 08:53:55 +02:00
</div>
2006-09-30 12:47:46 +02:00
<div class="firstTab">&nbsp;</div>
<div id="genConfigTab" class="prefsTab"
2007-03-05 09:45:38 +01:00
onclick="selectTab('genConfig')"><?php echo __('Preferences') ?></div>
2006-09-30 12:47:46 +02:00
<div id="feedConfigTab" class="prefsTab"
2009-05-12 10:57:10 +02:00
onclick="selectTab('feedConfig')"><?php echo __('Feeds') ?></div>
2006-09-30 12:47:46 +02:00
<div id="filterConfigTab" class="prefsTab"
2009-01-18 10:24:37 +01:00
onclick="selectTab('filterConfig')"><?php echo __('Filters') ?></div>
2006-09-30 12:47:46 +02:00
<div id="labelConfigTab" class="prefsTab"
2009-01-18 10:24:37 +01:00
onclick="selectTab('labelConfig')"><?php echo __('Labels') ?></div>
2006-08-19 09:04:45 +02:00
<?php if ($_SESSION["access_level"] >= 10) { ?>
2006-09-30 12:47:46 +02:00
<div id="userConfigTab" class="prefsTab"
2009-01-18 10:24:37 +01:00
onclick="selectTab('userConfig')"><?php echo __('Users') ?></div>
2006-08-19 09:04:45 +02:00
<?php } ?>
</div>
2006-09-30 08:49:50 +02:00
2008-08-06 10:59:54 +02:00
<div id="prefContentOuter">
2006-09-30 08:49:50 +02:00
<div id="prefContent">
2007-03-05 09:45:38 +01:00
<p><?php echo __('Loading, please wait...') ?></p>
2006-10-04 15:38:18 +02:00
<noscript>
<div class="error">
2007-03-05 09:45:38 +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>
2008-08-06 10:59:54 +02:00
</div>
2005-08-22 03:17:12 +02:00
2007-04-29 08:19:14 +02:00
<div id="notify" class="notify"><span id="notify_body">&nbsp;</span></div>
2009-10-09 11:13:57 +02:00
<div id="cmdline" style="display : none"></div>
2006-10-01 06:40:40 +02:00
<div id="prefFooter">
2008-08-08 07:08:38 +02:00
<a href="http://tt-rss.org/">Tiny Tiny RSS</a>
<?php if (!defined('HIDE_VERSION')) { ?>
v<?php echo VERSION ?>
<?php } ?>
2010-06-30 11:15:24 +02:00
&copy; 2005&ndash;<?php echo date('Y') ?> <a href="http://fakecake.org/">Andrew Dolgov</a>
2006-10-01 06:40:40 +02:00
</div>
2006-08-19 09:04:45 +02:00
<?php db_close($link); ?>
2005-08-22 03:17:12 +02:00
</body>
</html>