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