tt-rss/plugins/digest/digest_body.php

100 lines
2.5 KiB
PHP
Raw Normal View History

2012-12-24 07:16:01 +01:00
<?php global $link; ?>
2011-12-11 20:59:25 +01:00
2011-04-19 22:14:37 +02:00
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
2010-09-09 14:50:10 +02:00
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<head>
<title>Tiny Tiny RSS</title>
2013-03-26 17:24:03 +01:00
<?php
require_once "lib/Mobile_Detect.php";
$mobile = new Mobile_Detect();
if ($mobile->isMobile() || @$_REQUEST['mode'] == 'mobile') {
$_SESSION["digest_mobile"] = 1;
echo stylesheet_tag("plugins/digest/mobile.css");
} else {
$_SESSION["digest_mobile"] = 0;
echo stylesheet_tag("plugins/digest/digest.css");
}
?>
<meta name="viewport" content="width=device-width,
minimum-scale=1.0, maximum-scale=1.0" />
2010-09-09 14:50:10 +02:00
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
2010-11-25 12:39:06 +01:00
<?php print_user_stylesheet($link) ?>
2010-09-09 14:50:10 +02:00
<link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
<?php
foreach (array("lib/prototype.js",
"lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls",
"js/functions.js",
"plugins/digest/digest.js",
"errors.php?mode=js") as $jsfile) {
echo javascript_tag($jsfile);
} ?>
2010-09-09 14:50:10 +02:00
2013-03-25 09:47:42 +01:00
<script type="text/javascript">
<?php init_js_translations(); ?>
</script>
2012-12-24 07:16:01 +01:00
<script type="text/javascript" src="plugins/digest/digest.js"></script>
2010-09-09 14:50:10 +02:00
<script type="text/javascript">
Event.observe(window, 'load', function() {
2013-03-26 17:24:03 +01:00
init(<?php echo $_SESSION["digest_mobile"] ?>);
2010-09-09 14:50:10 +02:00
});
</script>
</head>
<body id="ttrssDigest">
2010-09-13 12:39:16 +02:00
<div id="overlay" style="display : block">
<div id="overlay_inner">
<noscript>
<p>
2013-03-24 13:57:30 +01:00
<?php print_error(__("Your browser doesn't support Javascript, which is required for this application to function properly. Please check your browser settings.")) ?></p>
2010-09-13 12:39:16 +02:00
</noscript>
<img src="images/indicator_white.gif"/>
<?php echo __("Loading, please wait...") ?>
</div>
2011-04-19 22:14:37 +02:00
</div>
2010-09-13 12:39:16 +02:00
2010-09-09 14:50:10 +02:00
<div id="header">
2013-03-26 17:24:03 +01:00
<a style="float : left" href="#" onclick="go_back()">
<?php echo __("Go back") ?></a>
2010-09-09 14:50:10 +02:00
<div class="links">
2012-11-07 10:59:59 +01:00
<?php if (!$_SESSION["hide_hello"]) { ?>
2010-09-09 14:50:10 +02:00
<?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
<?php } ?>
2012-11-07 10:59:59 +01:00
<?php if (!$_SESSION["hide_logout"]) { ?>
2012-06-29 11:11:39 +02:00
<a href="backend.php?op=logout"><?php echo __('Logout') ?></a> |
2010-09-09 14:50:10 +02:00
<?php } ?>
2012-06-29 11:11:39 +02:00
<a href='<?php echo get_self_url_prefix() ?>/index.php?mobile=false'>
<?php echo __("Regular version") ?></a>
2010-09-09 14:50:10 +02:00
</div>
</div>
2011-09-01 14:46:50 +02:00
<div id="article"><div id="article-content">&nbsp;</div></div>
2010-09-09 14:50:10 +02:00
2011-09-01 14:46:50 +02:00
<div id="content">
2010-09-09 14:50:10 +02:00
<div id="feeds">
<ul id="feeds-content"> </ul>
</div>
<div id="headlines">
<ul id="headlines-content"> </ul>
</div>
</div>
</body>
2011-12-10 19:21:54 +01:00
</html>