// Wrapper function for checking if extension is installed and newer or same version
function isExtensionInstalledAndNewer ($ext_name, $version) {
// Return it
+ //* DEBUG: */ print __FUNCTION__.':'.$ext_name.'=>'.$version.'<br />';
return ((isExtensionInstalled($ext_name)) && (getExtensionVersion($ext_name) >= $version));
}
// Wrapper function for checking if extension is installed and older than given version
function isExtensionInstalledAndOlder ($ext_name, $version) {
// Return it
+ //* DEBUG: */ print __FUNCTION__.':'.$ext_name.'<'.$version.'<br />';
return ((isExtensionInstalled($ext_name)) && (isExtensionOlder($ext_name, $version)));
}