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 echo stylesheet_tag("plugins/digest/digest.css") ?>
  11
  12         <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
  13
  14         <?php print_user_stylesheet($link) ?>
  15
  16         <link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
  17
  18         <?php
  19         foreach (array("lib/prototype.js",
  20                                 "lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls",
  21                                 "js/functions.js",
  22                                 "plugins/digest/digest.js",
  23                                 "errors.php?mode=js") as $jsfile) {
  24
  25                 echo javascript_tag($jsfile);
  26         } ?>
  27
  28         <script type="text/javascript">
  29         <?php init_js_translations(); ?>
  30         </script>
  31
  32         <script type="text/javascript" src="plugins/digest/digest.js"></script>
  33
  34         <script type="text/javascript">
  35                 Event.observe(window, 'load', function() {
  36                         init();
  37                 });
  38         </script>
  39 </head>
  40 <body id="ttrssDigest">
  41         <div id="overlay" style="display : block">
  42                 <div id="overlay_inner">
  43                 <noscript>
  44                         <p>
  45                         <?php print_error(__("Your browser doesn't support Javascript, which is required for this application to function properly. Please check your browser settings.")) ?></p>
  46                 </noscript>
  47
  48                 <img src="images/indicator_white.gif"/>
  49                         <?php echo __("Loading, please wait...") ?>
  50                 </div>
  51         </div>
  52
  53         <div id="header">
  54         <a style="float : left" href="#" onclick="close_article()">
  55                 <?php echo __("Back to feeds") ?></a>
  56
  57         <div class="links">
  58
  59         <?php if (!$_SESSION["hide_hello"]) { ?>
  60                         <?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
  61         <?php } ?>
  62         <?php if (!$_SESSION["hide_logout"]) { ?>
  63                         <a href="backend.php?op=logout"><?php echo __('Logout') ?></a> |
  64         <?php } ?>
  65                         <a href='<?php echo get_self_url_prefix() ?>/index.php?mobile=false'>
  66                         <?php echo __("Regular version") ?></a>
  67
  68         </div>
  69         </div>
  70
  71         <div id="article"><div id="article-content">&nbsp;</div></div>
  72
  73         <div id="content">
  74
  75                 <div id="feeds">
  76                         <ul id="feeds-content"> </ul>
  77                 </div>
  78
  79                 <div id="headlines">
  80                         <ul id="headlines-content"> </ul>
  81                 </div>
  82         </div>
  83
  84 </body>
  85 </html>