| 
									
										
										
										
											2022-10-13 22:43:04 +08:00
										 |  |  | // https://html.spec.whatwg.org/multipage/history.html#the-history-interface | 
					
						
							| 
									
										
										
										
											2023-09-03 02:00:01 +12:00
										 |  |  | [Exposed=Window] | 
					
						
							| 
									
										
										
										
											2021-09-11 23:43:34 +01:00
										 |  |  | interface History { | 
					
						
							| 
									
										
										
										
											2022-10-13 22:43:04 +08:00
										 |  |  |     readonly attribute unsigned long length; | 
					
						
							|  |  |  |     // FIXME: attribute ScrollRestoration scrollRestoration; | 
					
						
							|  |  |  |     // FIXME: readonly attribute any state; | 
					
						
							|  |  |  |     undefined go(optional long delta = 0); | 
					
						
							|  |  |  |     undefined back(); | 
					
						
							|  |  |  |     undefined forward(); | 
					
						
							| 
									
										
										
										
											2021-09-11 23:43:34 +01:00
										 |  |  |     undefined pushState(any data, DOMString unused, optional USVString? url = null); | 
					
						
							|  |  |  |     undefined replaceState(any data, DOMString unused, optional USVString? url = null); | 
					
						
							|  |  |  | }; |