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