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, $EXT_VER_HISTORY;
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, $EXT_VER_HISTORY;