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
}
Page\ExistingPageRecord
Data record representing a page that currently exists as an editable page on a wiki.
Definition:
ExistingPageRecord.php:15
Page\ExistingPageRecord\exists
exists()
Always true.
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:23
MediaWiki\Page
Definition:
ContentModelChangeFactory.php:22
includes
page
ExistingPageRecord.php
Generated on Sat May 21 2022 21:08:28 for MediaWiki by
1.9.1