// User is not logged in
redirectToUrl('modules.php?module=index');
} elseif ((!EXT_IS_ACTIVE('wernis')) && (!IS_ADMIN())) {
- addFatalMessage(__FILE__, __LINE__, sprintf(getMessage('EXTENSION_PROBLEM_EXT_INACTIVE'), 'wernis'));
+ addFatalMessage(__FILE__, __LINE__, generateExtensionInactiveMessage('wernis'));
return;
}