<?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";
} 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;
}
}