1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* HTMLOptionsCollection
10	*
11	* @see https://dom.spec.whatwg.org/#interface-htmloptionscollection
12	*
13	* @property int $length
14	* @property int $selectedIndex
15	* @phan-forbid-undeclared-magic-properties
16	*/
17	interface HTMLOptionsCollection extends HTMLCollection {
18	// Direct parent: HTMLCollection
19
20	/**
21	* @param int $index
22	* @param HTMLOptionElement|null $option
23	* @return void
24	*/
25	public function setItem( int $index, /* ?HTMLOptionElement */ $option ): void;
26
27	/**
28	* @param HTMLOptionElement|HTMLOptGroupElement $element
29	* @param HTMLElement|int|null $before
30	* @return void
31	*/
32	public function add( /* mixed */ $element, /* ?mixed */ $before = null ): void;
33
34	/**
35	* @param int $index
36	* @return void
37	*/
38	public function remove( int $index ): void;
39
40	/**
41	* @return int
42	*/
43	public function getSelectedIndex(): int;
44
45	/**
46	* @param int $val
47	*/
48	public function setSelectedIndex( int $val ): void;
49
50	}