MediaWiki
master
PageRecord.php
Go to the documentation of this file.
1
<?php
2
3
namespace
MediaWiki\Page
;
4
26
interface
PageRecord
extends
ProperPageIdentity
{
27
35
public
function
isNew
();
36
42
public
function
isRedirect
();
43
53
public
function
getLatest
( $wikiId = self::LOCAL );
54
60
public
function
getTouched
();
61
68
public
function
getLanguage
();
69
}
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:26
MediaWiki\Page\PageRecord\getLatest
getLatest( $wikiId=self::LOCAL)
The ID of the page's latest revision.
MediaWiki\Page\PageRecord\getTouched
getTouched()
Timestamp at which the page was last flagged for rerendering.
MediaWiki\Page\PageRecord\isNew
isNew()
False if the page has had more than one edit.
MediaWiki\Page\PageRecord\getLanguage
getLanguage()
The page's language, if explicitly recorded.
MediaWiki\Page\PageRecord\isRedirect
isRedirect()
True if the page is a redirect.
MediaWiki\Page\ProperPageIdentity
Interface for a page that is (or could be, or used to be) an editable wiki page.
Definition
ProperPageIdentity.php:44
MediaWiki\Page
Definition
ContentModelChangeFactory.php:22
includes
page
PageRecord.php
Generated on Sat Dec 14 2024 01:25:22 for MediaWiki by
1.10.0