1	<?php
2
3	namespace MediaWiki\Page;
4
5	/**
6	* Data record representing a page that currently exists as
7	* an editable page on a wiki.
8	*
9	* @note This is intended to become an alias for PageRecord, once PageRecord is guaranteed
10	*       to be immutable and to represent existing pages.
11	*
12	* @see https://www.mediawiki.org/wiki/Manual:Modeling_pages
13	*
14	* @stable to type
15	* @since 1.36
16	*/
17	interface ExistingPageRecord extends PageRecord {
18
19	/**
20	* Always true.
21	*
22	* @return true
23	*/
24	public function exists(): bool;
25	}