1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* HTMLProgressElement
10	*
11	* @see https://dom.spec.whatwg.org/#interface-htmlprogresselement
12	*
13	* @property int $nodeType
14	* @property string $nodeName
15	* @property string $baseURI
16	* @property bool $isConnected
17	* @property Document|null $ownerDocument
18	* @property Node|null $parentNode
19	* @property Element|null $parentElement
20	* @property NodeList $childNodes
21	* @property Node|null $firstChild
22	* @property Node|null $lastChild
23	* @property Node|null $previousSibling
24	* @property Node|null $nextSibling
25	* @property ?string $nodeValue
26	* @property ?string $textContent
27	* @property string $innerHTML
28	* @property Element|null $previousElementSibling
29	* @property Element|null $nextElementSibling
30	* @property HTMLCollection $children
31	* @property Element|null $firstElementChild
32	* @property Element|null $lastElementChild
33	* @property int $childElementCount
34	* @property HTMLSlotElement|null $assignedSlot
35	* @property ?string $namespaceURI
36	* @property ?string $prefix
37	* @property string $localName
38	* @property string $tagName
39	* @property string $id
40	* @property string $className
41	* @property DOMTokenList $classList
42	* @property string $slot
43	* @property NamedNodeMap $attributes
44	* @property ShadowRoot|null $shadowRoot
45	* @property string $outerHTML
46	* @property CSSStyleDeclaration $style
47	* @property string $contentEditable
48	* @property string $enterKeyHint
49	* @property bool $isContentEditable
50	* @property string $inputMode
51	* @property EventHandlerNonNull|callable|null $onload
52	* @property DOMStringMap $dataset
53	* @property string $nonce
54	* @property int $tabIndex
55	* @property string $title
56	* @property string $lang
57	* @property bool $translate
58	* @property string $dir
59	* @property bool $hidden
60	* @property string $accessKey
61	* @property string $accessKeyLabel
62	* @property bool $draggable
63	* @property bool $spellcheck
64	* @property string $autocapitalize
65	* @property string $innerText
66	* @property Element|null $offsetParent
67	* @property int $offsetTop
68	* @property int $offsetLeft
69	* @property int $offsetWidth
70	* @property int $offsetHeight
71	* @property float $value
72	* @property float $max
73	* @property float $position
74	* @property NodeList $labels
75	* @phan-forbid-undeclared-magic-properties
76	*/
77	interface HTMLProgressElement extends HTMLElement {
78	// Direct parent: HTMLElement
79
80	/**
81	* @return float
82	*/
83	public function getValue(): float;
84
85	/**
86	* @param float $val
87	*/
88	public function setValue( float $val ): void;
89
90	/**
91	* @return float
92	*/
93	public function getMax(): float;
94
95	/**
96	* @param float $val
97	*/
98	public function setMax( float $val ): void;
99
100	/**
101	* @return float
102	*/
103	public function getPosition(): float;
104
105	/**
106	* @return NodeList
107	*/
108	public function getLabels();
109
110	}