//
function EXTENSION_UPDATE ($file, $ext_name, $ext_ver, $dry_run=false) {
// This shall never do a non-admin user!
- global $cacheInstance, $_CONFIG, $UPDATE_NOTES, $NOTES;
+ global $cacheInstance, $_CONFIG, $UPDATE_NOTES, $NOTES, $EXT_VER_HISTORY;
+ global $EXT_UPDATE_DEPENDS;
// Init arrays
$SQLs = array(); $INC_POOL = array();