| 
									
										
										
										
											2022-02-15 22:40:51 +03:30
										 |  |  | #import <HTML/HTMLElement.idl> | 
					
						
							| 
									
										
										
										
											2022-07-27 20:20:38 +01:00
										 |  |  | #import <HTML/HTMLHyperlinkElementUtils.idl> | 
					
						
							| 
									
										
										
										
											2022-02-15 22:40:51 +03:30
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-07-27 20:20:38 +01:00
										 |  |  | // https://html.spec.whatwg.org/multipage/image-maps.html#htmlareaelement | 
					
						
							| 
									
										
										
										
											2022-10-07 16:45:09 -06:00
										 |  |  | [Exposed=Window] | 
					
						
							| 
									
										
										
										
											2020-08-01 03:04:26 +01:00
										 |  |  | interface HTMLAreaElement : HTMLElement { | 
					
						
							| 
									
										
										
										
											2023-03-23 03:48:52 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  |     [HTMLConstructor] constructor(); | 
					
						
							| 
									
										
										
										
											2020-08-01 03:04:26 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2023-03-01 01:45:18 +00:00
										 |  |  |     [CEReactions, Reflect] attribute DOMString alt; | 
					
						
							|  |  |  |     [CEReactions, Reflect] attribute DOMString coords; | 
					
						
							|  |  |  |     [CEReactions, Reflect] attribute DOMString shape; | 
					
						
							|  |  |  |     [CEReactions, Reflect] attribute DOMString target; | 
					
						
							|  |  |  |     [CEReactions, Reflect] attribute DOMString download; | 
					
						
							|  |  |  |     [CEReactions, Reflect] attribute USVString ping; | 
					
						
							|  |  |  |     [CEReactions, Reflect] attribute DOMString rel; | 
					
						
							| 
									
										
										
										
											2021-10-03 19:39:12 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-07-27 20:20:38 +01:00
										 |  |  |     // Obsolete | 
					
						
							|  |  |  |     [Reflect=nohref] attribute boolean noHref; | 
					
						
							| 
									
										
										
										
											2023-03-23 03:48:52 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-12-09 21:26:42 +00:00
										 |  |  | }; | 
					
						
							| 
									
										
										
										
											2022-07-27 20:20:38 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | HTMLAreaElement includes HTMLHyperlinkElementUtils; |