diff options
Diffstat (limited to 'index.php')
| -rw-r--r-- | index.php | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -1,4 +1,8 @@ <?php + if (file_exists("install") && !file_exists("config.php")) { + header("Location: install/"); + } + if (!file_exists("config.php")) { print "<b>Fatal Error</b>: You forgot to copy <b>config.php-dist</b> to <b>config.php</b> and edit it.\n"; @@ -35,10 +39,15 @@ if ($mobile->isTablet() && $pluginhost->get_plugin("digest")) { header('Location: backend.php?op=digest'); exit; + } else if ($mobile->isMobile() && $pluginhost->get_plugin("mobile")) { + header('Location: backend.php?op=mobile'); + exit; + } else if ($mobile->isMobile() && $pluginhost->get_plugin("digest")) { + header('Location: backend.php?op=digest'); + exit; } } - login_sequence($link); no_cache_incantation(); @@ -127,7 +136,6 @@ <div id="notify" class="notify"><span id="notify_body"> </span></div> <div id="cmdline" style="display : none"></div> -<div id="auxDlg" style="display : none"></div> <div id="headlines-tmp" style="display : none"></div> <div id="main" dojoType="dijit.layout.BorderContainer"> @@ -161,6 +169,7 @@ <option value="published"><?php echo __('Published') ?></option> <option value="unread"><?php echo __('Unread') ?></option> <option value="unread_first"><?php echo __('Unread First') ?></option> + <option value="has_note"><?php echo __('With Note') ?></option> <!-- <option value="noscores"><?php echo __('Ignore Scoring') ?></option> --> </select> |