From b8e08344a84e30e6beea7806b26faad01d280766 Mon Sep 17 00:00:00 2001
From: Mathias Bynens <mathias@qiwi.be>
Date: Sun, 24 Sep 2017 13:44:35 +0200
Subject: [PATCH] Add <time> and <data> elements

Chrome 62 supports their DOM interfaces.
---
 generator.py | 10 ++++++----
 js.txt       | 12 ++++++++++++
 2 files changed, 18 insertions(+), 4 deletions(-)

diff --git a/generator.py b/generator.py
index 2197a01..030dcfe 100755
--- a/generator.py
+++ b/generator.py
@@ -59,6 +59,7 @@
   'colgroup': 'HTMLUnknownElement',
   'command': 'HTMLUnknownElement',
   'content': 'HTMLContentElement',
+  'data': 'HTMLDataElement',
   'datalist': 'HTMLDataListElement',
   'dd': 'HTMLUnknownElement',
   'del': 'HTMLModElement',
@@ -154,6 +155,7 @@
   'tfoot': 'HTMLTableSectionElement',
   'th': 'HTMLTableCellElement',
   'thead': 'HTMLTableSectionElement',
+  'time': 'HTMLTimeElement',
   'title': 'HTMLTitleElement',
   'tr': 'HTMLTableRowElement',
   'track': 'HTMLTrackElement',
@@ -329,7 +331,7 @@ def GenerateNewSample(template, htmlgrammar, cssgrammar, jsgrammar):
 
   htmlctx = {'htmlvars':[], 'htmlvarctr':0, 'svgvarctr':0, 'htmlvargen':''}
   html = re.sub(r'<[a-zA-Z0-9_-]+\ ', lambda match: AddHTMLIDs(match, htmlctx), html)
-  GenerateHTMLElements(htmlctx, _N_ADDITIONAL_HTMLVARS); 
+  GenerateHTMLElements(htmlctx, _N_ADDITIONAL_HTMLVARS);
 
   result = result.replace('<cssfuzzer>', css)
   result = result.replace('<htmlfuzzer>', html)
@@ -407,12 +409,12 @@ def main():
   fuzzer_dir = os.path.dirname(__file__)
 
   multiple_samples = False
-  
+
   for a in sys.argv:
     if a.startswith('--output_dir='):
       multiple_samples = True
   if '--output_dir' in sys.argv:
-    multiple_samples = True    
+    multiple_samples = True
 
   if multiple_samples:
     print 'Running on ClusterFuzz'
@@ -426,7 +428,7 @@ def main():
       outfiles.append(os.path.join(out_dir, 'fuzz-' + str(i) + '.html'))
 
     GenerateSamples(fuzzer_dir, outfiles)
-      
+
   elif len(sys.argv) > 1:
     outfile = sys.argv[1]
     GenerateSamples(fuzzer_dir, [outfile])
diff --git a/js.txt b/js.txt
index 8e38bc4..9d2f468 100644
--- a/js.txt
+++ b/js.txt
@@ -1523,6 +1523,18 @@
 <new long> = <HTMLCollection>.length;
 <new Element> = <HTMLCollection id=1>.item(<int min=0 max=100>%<HTMLCollection id=1>.length);
 
+#HTMLDataElement
+!extends HTMLDataElement Element
+<new Element> = <HTMLDataElement>;
+<new DOMString> = <HTMLDataElement>.value;
+<HTMLDataElement>.value = "<value_value>";
+
+#HTMLTimeElement
+!extends HTMLTimeElement Element
+<new Element> = <HTMLTimeElement>;
+<new DOMString> = <HTMLTimeElement>.dateTime;
+<HTMLTimeElement>.dateTime = "<datetime_value>";
+
 #HTMLMarqueeElement
 !extends HTMLMarqueeElement Element
 <new Element> = <HTMLMarqueeElement>;