plugins/digest/digest_body.php

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