wiki.techinc.nl/includes/page/ExistingPageRecord.php
Daimona Eaytoy 6a3b9daf29 Make WikiPage a ProperPageIdentity
Bug: T272424
Change-Id: I1dbcf1192390cbdfd6faaa60f9831f62ec1eff0d
2021-08-30 13:05:18 +00:00

23 lines
458 B
PHP

<?php
namespace MediaWiki\Page;
/**
* Data record representing a page that currently exists as
* an editable page on a wiki.
*
* @note This is intended to become an alias for PageRecord, once PageRecord is guaranteed
* to be immutable and to represent existing pages.
*
* @stable to type
*
* @since 1.36
*/
interface ExistingPageRecord extends PageRecord {
/**
* Always true.
*
* @return true
*/
public function exists(): bool;
}