+// Redirects if the provided extension is not installed
+function redirectOnUninstalledExtension ($ext_name) {
+ // So is the extension there?
+ if ((!isExtensionInstalled($ext_name)) || (!EXT_IS_ACTIVE($ext_name))) {
+ // Redirect to index
+ redirectToUrl('modules.php?module=index&msg=' . getCode('EXTENSION_PROBLEM') . '&ext=' . $ext_name);
+ } // END - if
+}
+
+// Determines wether the given extension is installed
+function isExtensionInstalled ($ext_name) {
+ // Default is not installed
+ $isInstalled = false;
+
+ // Check cache ext_version
+ $isInstalled = isset($GLOBALS['cache_array']['extensions']['ext_version'][$ext_name]);
+
+ // Return status
+ return $isInstalled;
+}
+