} elseif (!IS_MEMBER()) {
// User is not logged in
LOAD_URL("modules.php?module=index");
-} elseif ((!EXT_IS_ACTIVE("wernis")) && (!IS_ADMIN())) {
+} elseif (!EXT_IS_ACTIVE("wernis"))
// Extension "wernis" is not activated
ADD_FATAL(EXTENSION_PROBLEM_EXT_INACTIVE, "wernis");
return;