MediaWiki master
ExistingPageRecord.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\Page;
4
17interface 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.