|  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 | 
				
					
						|  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 | 5acd015c89
							
							Force Element and Document references to HTMLElement and HTMLDocument. | 10 years ago | 
				
					
						|  Bruno Garcia | 4dc5d44f45
							
							js.html updates. | 10 years ago | 
				
					
						|  Bruno Garcia | 884546864d
							
							Bring in WebIDL-based JS externs. | 10 years ago |