// Check if extension is installed or not
$ext_ver = GET_EXT_VERSION($ext_name);
- //* DEBUG: */ echo $ext_name."=".$ext_ver."<br />\n";
+ //* DEBUG: */ OUTPUT_HTML($ext_name."=".$ext_ver."<br />");
// Is the extension not yet installed?
if (empty($ext_ver)) {
require(sprintf("%sinc/extensions/ext-%s.php", constant('PATH'), $ext_name));
// Update extension if extension is installed and outdated
- //* DEBUG: */ print "ext={$ext_name},ver={EXT_GET_VERSION()}/".GET_EXT_VERSION($ext_name)."<br />\n";
+ //* DEBUG: */ OUTPUT_HTML("ext={$ext_name},ver={EXT_GET_VERSION()}/".GET_EXT_VERSION($ext_name)."<br />");
if (EXT_GET_VERSION() > $ext_ver) {
// Update the extension
EXTENSION_UPDATE($ext_name, $ext_ver);