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