1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* RadioNodeList
10	*
11	* @see https://dom.spec.whatwg.org/#interface-radionodelist
12	*
13	* @property int $length
14	* @property string $value
15	* @phan-forbid-undeclared-magic-properties
16	*/
17	interface RadioNodeList extends NodeList {
18	// Direct parent: NodeList
19
20	/**
21	* @return string
22	*/
23	public function getValue(): string;
24
25	/**
26	* @param string $val
27	*/
28	public function setValue( string $val ): void;
29
30	}