Merge "Remove internal use of deprecated $wgRequestTime"