MediaWiki  master
ExistingPageRecord.php
Go to the documentation of this file.
1 <?php
2 namespace MediaWiki\Page;
3 
15 interface ExistingPageRecord extends PageRecord {
16 
22  public function exists(): bool;
23 }
Page\PageRecord
Data record representing a page that is (or used to be, or could be) an editable page on a wiki.
Definition: PageRecord.php:25
Page\ExistingPageRecord
Data record representing a page that currently exists as an editable page on a wiki.
Definition: ExistingPageRecord.php:15
MediaWiki\Page
Definition: ContentModelChangeFactory.php:23
Page\ExistingPageRecord\exists
exists()
Always true.