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