require($INC);
} elseif ((!EXT_IS_ACTIVE("other")) || (GET_EXT_VERSION("other") == "")) {
// Missing extension!
- ADD_FATAL(sprintf(EXTENSION_PROBLEM_NOT_INSTALLED, "other"));
+ addFatalMessage(sprintf(EXTENSION_PROBLEM_NOT_INSTALLED, "other"));
return;
}