Fixed #11430: Performance improvement: use $GLOBALS['EXEC_TIME'] instead of time...