Performance monitoring over a web application, based on timing API