return $GLOBALS['ext_update_remove'];
}
+// Redirects if the provided extension is not installed
+function REDIRECT_ON_UNINSTALLED_EXTENSION ($ext_name) {
+ // So is the extension there?
+ if (!EXT_IS_ACTIVE($ext_name)) {
+ // Redirect to index
+ LOAD_URL('modules.php?module=index&msg=' . getCode('EXTENSION_PROBLEM') . '&ext=' . $ext_name);
+ } // END - if
+}
+
//
?>
return $msg;
}
-// Checks wether the given extension is currently not installed
-// and redirects if so.
-function REDIRCT_ON_UNINSTALLED_EXTENSION ($ext_name) {
- // Is the extension uninstalled/inactive?
- if (!EXT_IS_ACTIVE($ext_name)) {
- // Redirect to index
- LOAD_URL('modules.php?module=index&msg=' . getCode('EXTENSION_PROBLEM') . '&ext=' . $ext_name);
- } // END - if
-}
-
// Generate a "link" for the given admin id (aid)
function GENERATE_AID_LINK ($aid) {
// No assigned admin is default
if (isInstalled()) {
// Is the extension active
- if (!EXT_IS_ACTIVE('mailid', true)) {
- // Is not activated/installed yet!
- addFatalMessage(__FILE__, __LINE__, getMessage('EXTENSION_PROBLEM_EXT_INACTIVE'), 'mailid');
- } // END - if
+ REDIRECT_ON_UNINSTALLED_EXTENSION('mailid');
// Secure all data
$url_uid = 0; $url_bid = 0; $url_mid = 0; $code = 0; $mode = '';