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