digest_body.php 2.5 KB

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