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