require($INC);
} elseif ((!EXT_IS_ACTIVE('user')) || (GET_EXT_VERSION('user') == '')) {
// Missing extension!
- addFatalMessage(__FILE__, __LINE__, sprintf(getMessage('EXTENSION_PROBLEM_EXT_INACTIVE'), 'user'));
+ addFatalMessage(__FILE__, __LINE__, generateExtensionInactiveMessage('user'));
return;
}