jslint: Add timevalue() to the globals