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\ExistingPageRecord\exists
exists()
Always true.
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
MediaWiki\Page
Definition:
ContentModelChangeFactory.php:22
includes
page
ExistingPageRecord.php
Generated on Mon Mar 27 2023 23:08:50 for MediaWiki by
1.9.1