1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* CustomEvent
10	*
11	* @see https://dom.spec.whatwg.org/#interface-customevent
12	*
13	* @property string $type
14	* @property EventTarget|null $target
15	* @property EventTarget|null $srcElement
16	* @property EventTarget|null $currentTarget
17	* @property int $eventPhase
18	* @property bool $cancelBubble
19	* @property bool $bubbles
20	* @property bool $cancelable
21	* @property bool $returnValue
22	* @property bool $defaultPrevented
23	* @property bool $composed
24	* @property bool $isTrusted
25	* @property float $timeStamp
26	* @property mixed|null $detail
27	* @phan-forbid-undeclared-magic-properties
28	*/
29	interface CustomEvent extends Event {
30	// Direct parent: Event
31
32	/**
33	* @return mixed|null
34	*/
35	public function getDetail();
36
37	/**
38	* @param string $type
39	* @param bool $bubbles
40	* @param bool $cancelable
41	* @param mixed|null $detail
42	* @return void
43	*/
44	public function initCustomEvent( string $type, bool $bubbles = false, bool $cancelable = false, /* any */ $detail = null ): void;
45
46	}