// Is an cache entry found?
if (!isset($GLOBALS['ext_installed_older'][$ext_name][$version])) {
$GLOBALS['ext_installed_older'][$ext_name][$version] = ((isExtensionInstalled($ext_name)) && (isExtensionOlder($ext_name, $version)));
// Is an cache entry found?
if (!isset($GLOBALS['ext_installed_older'][$ext_name][$version])) {
$GLOBALS['ext_installed_older'][$ext_name][$version] = ((isExtensionInstalled($ext_name)) && (isExtensionOlder($ext_name, $version)));