1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* DocumentType
10	*
11	* @see https://dom.spec.whatwg.org/#interface-documenttype
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 $name
28	* @property string $publicId
29	* @property string $systemId
30	* @phan-forbid-undeclared-magic-properties
31	*/
32	interface DocumentType extends Node, ChildNode {
33	// Direct parent: Node
34
35	/**
36	* @return string
37	*/
38	public function getName(): string;
39
40	/**
41	* @return string
42	*/
43	public function getPublicId(): string;
44
45	/**
46	* @return string
47	*/
48	public function getSystemId(): string;
49
50	}