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