implement search in pref-filters

[tt-rss.git] / index.php

diff --git a/index.php b/index.php
index dc217d900f409282bee6a6332dfe83693a80bc10..53901ec6e2008657a220bd9b4ab2a110fb465f38 100644 (file)
--- a/index.php
+++ b/index.php
@@ -14,6 +14,19 @@
        require_once "version.php";
        require_once "config.php";
        require_once "db-prefs.php";
+       require_once "lib/Mobile_Detect.php";
+
+       $mobile = new Mobile_Detect();
+
+       if (!$_REQUEST['mobile']) {
+               if ($mobile->isTablet()) {
+                       header('Location: digest.php');
+                       exit;
+               } else if ($mobile->isMobile()) {
+                       header('Location: mobile/index.php');
+                       exit;
+               }
+       }
 
        $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
 
@@ -41,12 +54,6 @@
        <?php print_user_stylesheet($link) ?>
 
        <script type="text/javascript">
-       <?php foreach (explode(",", ARTICLE_BUTTON_PLUGINS) as $p) {
-               $jsf = "js/".trim($p)."_button.js";
-               if (file_exists($jsf)) {
-                       include $jsf;
-               }
-       } ?>
        </script>
 
        <link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
@@ -58,12 +65,25 @@
        <script type="text/javascript" src="lib/dojo/tt-rss-layer.js"></script>
 
        <script type="text/javascript" charset="utf-8" src="localized_js.php?<?php echo $dt_add ?>"></script>
-       <script type="text/javascript" charset="utf-8" src="js/tt-rss.js?<?php echo $dt_add ?>"></script>
-       <script type="text/javascript" charset="utf-8" src="js/functions.js?<?php echo $dt_add ?>"></script>
-       <script type="text/javascript" charset="utf-8" src="js/feedlist.js?<?php echo $dt_add ?>"></script>
-       <script type="text/javascript" charset="utf-8" src="js/viewfeed.js?<?php echo $dt_add ?>"></script>
        <script type="text/javascript" charset="utf-8" src="errors.php?mode=js"></script>
 
+       <script type="text/javascript">
+       <?php
+               require 'lib/jsmin.php';
+
+               foreach (explode(",", ARTICLE_BUTTON_PLUGINS) as $p) {
+                       $jsf = "js/".trim($p)."_button.js";
+                       if (file_exists($jsf)) {
+                               echo JSMin::minify(file_get_contents($jsf));
+                       }
+               }
+
+               foreach (array("tt-rss", "functions", "feedlist", "viewfeed", "FeedTree") as $js) {
+                       echo JSMin::minify(file_get_contents("js/$js.js"));
+               }
+       ?>
+       </script>
+
        <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 
        <script type="text/javascript">
@@ -86,7 +106,7 @@
 </div>
 
 <div id="header">
-       <?php if (!SINGLE_USER_MODE) { ?>
+       <?php if (!SINGLE_USER_MODE && !(ALLOW_REMOTE_USER_AUTH && AUTO_LOGIN)) { ?>
                        <?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
        <?php } ?>
        <a href="prefs.php"><?php echo __('Preferences') ?></a>
@@ -96,7 +116,7 @@
                                <?php echo __('Comments?') ?></a>
        <?php } ?>
 
-       <?php if (!SINGLE_USER_MODE) { ?>
+       <?php if (!SINGLE_USER_MODE && !(ALLOW_REMOTE_USER_AUTH && AUTO_LOGIN)) { ?>
                        | <a href="backend.php?op=logout"><?php echo __('Logout') ?></a>
        <?php } ?>