// Should we abort here?
if (($abortOnMiss === true) && ($isset === false)) {
// Output backtrace
- print '<pre>';
+ print 'Module not set!<pre>';
debug_print_backtrace();
die('</pre');
debug_report_bug('module is empty.');
// 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)));
}