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
+}
+
//
?>