+// Checks wether the extension is older than given
+function EXT_VERSION_IS_OLDER ($ext_name, $ext_ver) {
+ // Get current extension version
+ $currVersion = GET_EXT_VERSION($ext_name);
+
+ // Remove all dots from both versions
+ $currVersion = str_replace(".", "", $currVersion);
+ $ext_ver = str_replace(".", "", $ext_ver);
+
+ // Now compare both and return the result
+ return ($currVersion < $ext_ver);
+}