Removes redirection to mobile/

mobile/ was removed by d98e76d9c2 but the redirection still existed in
index.php, causing the site to be inaccessible on mobile devices.

diff --git a/index.php b/index.php
index bf8eafe768c628f5d5cd2fd31c17e3ffb7e01003..d92c2fc1ce3770c071b02103bee9eca5d8b97e19 100644 (file)
--- a/index.php
+++ b/index.php
@@ -35,9 +35,6 @@
                if ($mobile->isTablet() && $pluginhost->get_plugin("digest")) {
                        header('Location: backend.php?op=digest');
                        exit;
-               } else if ($mobile->isMobile()) {
-                       header('Location: mobile/index.php');
-                       exit;
                }
        }