Fixing up Navigator.getUserMedia.

tools/dom/scripts/systemhtml.py

Index: tools/dom/scripts/systemhtml.py
diff --git a/tools/dom/scripts/systemhtml.py b/tools/dom/scripts/systemhtml.py
index 3d0d9130787fdc5b5d1122f7ca909e1a9cb77460..e3e3c7ad521b3e922148cd3075ae0774b4d9871c 100644
--- a/tools/dom/scripts/systemhtml.py
+++ b/tools/dom/scripts/systemhtml.py
@@ -52,6 +52,7 @@ _js_custom_members = set([
     'MouseEvent.offsetX',
     'MouseEvent.offsetY',
     'Navigator.language',
+    'Navigator.webkitGetUserMedia',
     'URL.createObjectURL',
     'URL.revokeObjectURL',
     'WheelEvent.wheelDeltaX',
@@ -774,11 +775,18 @@ class Dart2JSBackend(HtmlDartGenerator):
       else:
         return self._NarrowInputType(type_name) if type_name else 'dynamic'
 
+    annotations = FindCommonAnnotations(self._interface.id, info.declared_name)
+    if annotations:
+      annotation_str =  '\n  '.join(annotations) + '\n  '
+    else:
+      annotation_str = ''
+
     body = self._members_emitter.Emit(
         '\n'
-        '  $MODIFIERS$TYPE $(HTML_NAME)($PARAMS) {\n'
+        '  $ANNOTATIONS$MODIFIERS$TYPE $(HTML_NAME)($PARAMS) {\n'
         '$!BODY'
         '  }\n',
+        ANNOTATIONS=annotation_str,
         MODIFIERS='static ' if info.IsStatic() else '',
         TYPE=return_type,
         HTML_NAME=html_name,