MediaWiki  master
ExistingPageRecord.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Page;
4 
15 interface ExistingPageRecord extends PageRecord {
16 
22  public function exists(): bool;
23 }
MediaWiki\Page\ExistingPageRecord
Data record representing a page that currently exists as an editable page on a wiki.
Definition: ExistingPageRecord.php:15
MediaWiki\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:24