1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* AbortSignal
10	*
11	* @see https://dom.spec.whatwg.org/#interface-abortsignal
12	*
13	* @property bool $aborted
14	* @property EventHandlerNonNull|callable|null $onabort
15	* @phan-forbid-undeclared-magic-properties
16	*/
17	interface AbortSignal extends EventTarget {
18	// Direct parent: EventTarget
19
20	/**
21	* @return bool
22	*/
23	public function getAborted(): bool;
24
25	/**
26	* @return EventHandlerNonNull|callable|null
27	*/
28	public function getOnabort();
29
30	/**
31	* @param EventHandlerNonNull|callable|null $val
32	*/
33	public function setOnabort( /* ?mixed */ $val ): void;
34
35	}