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