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