Speeding up go.sh

tools/dom/scripts/htmleventgenerator.py

Index: tools/dom/scripts/htmleventgenerator.py
diff --git a/tools/dom/scripts/htmleventgenerator.py b/tools/dom/scripts/htmleventgenerator.py
index 00979ab270a843e8d63705b809b0b6425b45b641..612ed7a7b459eecd10fc5cc7da2721aeddf84845 100644
--- a/tools/dom/scripts/htmleventgenerator.py
+++ b/tools/dom/scripts/htmleventgenerator.py
@@ -244,6 +244,7 @@ class HtmlEventGenerator(object):
     self._renamer = renamer
     self._metadata = metadata
     self._template_loader = template_loader
+    self._media_events = None
 
   def EmitStreamProviders(self, interface, custom_events,
       members_emitter, library_name):
@@ -387,8 +388,9 @@ class HtmlEventGenerator(object):
         interface.doc_js_name == 'Document' or
         interface.doc_js_name == 'GlobalEventHandlers'):
       media_interface = self._database.GetInterface('HTMLMediaElement')
-      media_events = self._GetEvents(media_interface, [])
-      if self._HasEvent(media_events, event_name, event_type):
+      if not self._media_events:
+        self._media_events = self._GetEvents(media_interface, [])
+      if self._HasEvent(self._media_events, event_name, event_type):
         return True
 
   def _GetEventRedirection(self, interface, event_name, event_type):