+ } // END - if
+
+ // Test-drive extension in update mode
+ include(sprintf("%sinc/extensions/ext-%s.php", PATH, $ext));
+
+ // Update extension if extension is installed and outdated
+ //* DEBUG: */ print "ext={$ext},ver={$EXT_VERSION}/".GET_EXT_VERSION($ext)."<br />\n";
+ if ($EXT_VERSION > GET_EXT_VERSION($ext)) {
+ // Update the extension
+ EXTENSION_UPDATE($file, $ext, $ext_ver);
+ } // END - if