// 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__, generateExtensionInactiveNotInstalledMessage('wernis'));
return;
}
}
// Is the formular sent?
-if ((IS_FORM_SENT()) && (REQUEST_ISSET_GET(('mode')))) {
+if ((isFormSent()) && (REQUEST_ISSET_GET(('mode')))) {
// Is the user ID and password set?
if (!REQUEST_ISSET_POST(('wds66_id'))) {
// Nothing entered in WDS66 user ID