 George Corney
|
7256798f79
[js] html externs: modernize typedefs and change whitespace convention (#7792)
|
6 years ago |
 Mark Knol
|
90eda8ce3c
Happy new year! :tada:
|
6 years ago |
|
George Corney
|
d8e720f8ac
[js] Update js.html externs to Aug 2018 WebIDLs (#7354)
|
7 years ago |
|
Mark Knol
|
b3cc1d7949
Happy new year! (#6799)
|
7 years ago |
|
Mark Knol
|
875ad19432
2017 (#5932)
|
8 years ago |
 Dan Korostelev
|
44f49aa7b1
remove line numbers from html externs headers because they are messed up
|
9 years ago |
|
Dan Korostelev
|
2a701cf592
rengenerate js externs (closes #5445)
|
9 years ago |
 Bruno Garcia
|
8aeccc9ee7
Update html externs.
|
9 years ago |
 Andy Li
|
1c79168a33
update copyright year to 2016
|
9 years ago |
|
Bruno Garcia
|
884546864d
Bring in WebIDL-based JS externs.
|
10 years ago |
|
Bruno Garcia
|
a06f9d35ae
Sync Browser.hx c43be016f.
|
11 years ago |
 Bruno Garcia
|
d8eb2c1cd6
Sync with Browser.hx 75119183b40.
|
12 years ago |
|
Bruno Garcia
|
10e7d2fbbd
Add generated HTML5 externs.
|
13 years ago |
