MediaWiki  master
ExistingPageRecord.php
Go to the documentation of this file.
1 <?php
2 namespace MediaWiki\Page;
3 
15 interface ExistingPageRecord extends PageRecord, ProperPageIdentity {
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:28
Page\ExistingPageRecord
Data record representing a page that currently exists as an editable page on a wiki.
Definition: ExistingPageRecord.php:15
Page\ProperPageIdentity
Interface for objects representing a page that is (or could be, or used to be) an editable page on a ...
Definition: ProperPageIdentity.php:43
MediaWiki\Page
Definition: ContentModelChangeFactory.php:23
Page\ExistingPageRecord\exists
exists()
Always true.