| Autor | SHA1 Nachricht | Datum | 
|---|---|---|
|  | 875ad19432 2017 (#5932) | vor 8 Jahren | 
|  | 44f49aa7b1 remove line numbers from html externs headers because they are messed up | vor 9 Jahren | 
|  | 2a701cf592 rengenerate js externs (closes #5445) | vor 9 Jahren | 
|  | 8aeccc9ee7 Update html externs. | vor 9 Jahren | 
|  | 1c79168a33 update copyright year to 2016 | vor 9 Jahren | 
|  | 884546864d Bring in WebIDL-based JS externs. | vor 10 Jahren |