1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* Window
10	*
11	* @see https://dom.spec.whatwg.org/#interface-window
12	*
13	* @property EventHandlerNonNull|callable|null $onload
14	* @property Document $document
15	* @property string $name
16	* @property Location $location
17	* @property string $status
18	* @property bool $closed
19	* @property int $length
20	* @property mixed|null $opener
21	* @property Element|null $frameElement
22	* @property Navigator $navigator
23	* @property bool $originAgentCluster
24	* @property Event|null $event
25	* @phan-forbid-undeclared-magic-properties
26	*/
27	interface Window extends EventTarget, GlobalEventHandlers, WindowEventHandlers {
28	// Direct parent: EventTarget
29
30	/**
31	* @return Document
32	*/
33	public function getDocument();
34
35	/**
36	* @return string
37	*/
38	public function getName(): string;
39
40	/**
41	* @param string $val
42	*/
43	public function setName( string $val ): void;
44
45	/**
46	* @return Location
47	*/
48	public function getLocation();
49
50	/**
51	* @param string $val
52	*/
53	public function setLocation( string $val ): void;
54
55	/**
56	* @return string
57	*/
58	public function getStatus(): string;
59
60	/**
61	* @param string $val
62	*/
63	public function setStatus( string $val ): void;
64
65	/**
66	* @return void
67	*/
68	public function close(): void;
69
70	/**
71	* @return bool
72	*/
73	public function getClosed(): bool;
74
75	/**
76	* @return void
77	*/
78	public function stop(): void;
79
80	/**
81	* @return void
82	*/
83	public function focus(): void;
84
85	/**
86	* @return void
87	*/
88	public function blur(): void;
89
90	/**
91	* @return int
92	*/
93	public function getLength(): int;
94
95	/**
96	* @return mixed|null
97	*/
98	public function getOpener();
99
100	/**
101	* @param mixed|null $val
102	*/
103	public function setOpener( /* any */ $val ): void;
104
105	/**
106	* @return Element|null
107	*/
108	public function getFrameElement();
109
110	/**
111	* @return Navigator
112	*/
113	public function getNavigator();
114
115	/**
116	* @return bool
117	*/
118	public function getOriginAgentCluster(): bool;
119
120	/**
121	* @return void
122	*/
123	public function print(): void;
124
125	/**
126	* @return Event|null
127	*/
128	public function getEvent();
129
130	/**
131	* @param Element $elt
132	* @param ?string $pseudoElt
133	* @return CSSStyleDeclaration
134	*/
135	public function getComputedStyle( /* Element */ $elt, ?string $pseudoElt = null );
136
137	}