plugins/digest/digest_body.php

   1 <?php global $link; ?>
   2
   3 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   4         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
   5
   6 <html>
   7 <head>
   8         <title>Tiny Tiny RSS</title>
   9
  10         <?php
  11                 require_once "lib/Mobile_Detect.php";
  12                 $mobile = new Mobile_Detect();
  13
  14                 if ($mobile->isMobile() || @$_REQUEST['mode'] == 'mobile') {
  15                         $_SESSION["digest_mobile"] = 1;
  16                         echo stylesheet_tag("plugins/digest/mobile.css");
  17                 } else {
  18                         $_SESSION["digest_mobile"] = 0;
  19                         echo stylesheet_tag("plugins/digest/digest.css");
  20                 }
  21         ?>
  22
  23         <meta name="viewport" content="width=device-width,
  24                 minimum-scale=1.0, maximum-scale=1.0" />
  25
  26         <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
  27
  28         <?php print_user_stylesheet($link) ?>
  29
  30         <link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
  31
  32         <?php
  33         foreach (array("lib/prototype.js",
  34                                 "lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls",
  35                                 "js/functions.js",
  36                                 "plugins/digest/digest.js",
  37                                 "errors.php?mode=js") as $jsfile) {
  38
  39                 echo javascript_tag($jsfile);
  40         } ?>
  41
  42         <script type="text/javascript">
  43         <?php init_js_translations(); ?>
  44         </script>
  45
  46         <script type="text/javascript" src="plugins/digest/digest.js"></script>
  47
  48         <script type="text/javascript">
  49                 Event.observe(window, 'load', function() {
  50                         init(<?php echo $_SESSION["digest_mobile"] ?>);
  51                 });
  52         </script>
  53 </head>
  54 <body id="ttrssDigest">
  55         <div id="overlay" style="display : block">
  56                 <div id="overlay_inner">
  57                 <noscript>
  58                         <p>
  59                         <?php print_error(__("Your browser doesn't support Javascript, which is required for this application to function properly. Please check your browser settings.")) ?></p>
  60                 </noscript>
  61
  62                 <img src="images/indicator_white.gif"/>
  63                         <?php echo __("Loading, please wait...") ?>
  64                 </div>
  65         </div>
  66
  67         <div id="header">
  68         <a style="float : left" href="#" onclick="go_back()">
  69                 <?php echo __("Go back") ?></a>
  70
  71         <div class="links">
  72
  73         <?php if (!$_SESSION["hide_hello"]) { ?>
  74                         <?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
  75         <?php } ?>
  76         <?php if (!$_SESSION["hide_logout"]) { ?>
  77                         <a href="backend.php?op=logout"><?php echo __('Logout') ?></a> |
  78         <?php } ?>
  79                         <a href='<?php echo get_self_url_prefix() ?>/index.php?mobile=false'>
  80                         <?php echo __("Regular version") ?></a>
  81
  82         </div>
  83         </div>
  84
  85         <div id="article"><div id="article-content">&nbsp;</div></div>
  86
  87         <div id="content">
  88
  89                 <div id="feeds">
  90                         <ul id="feeds-content"> </ul>
  91                 </div>
  92
  93                 <div id="headlines">
  94                         <ul id="headlines-content"> </ul>
  95                 </div>
  96         </div>
  97
  98 </body>
  99 </html>