MediaWiki REL1_37
PageRecord.php
Go to the documentation of this file.
1<?php
2namespace MediaWiki\Page;
3
25interface PageRecord extends ProperPageIdentity {
26
34 public function isNew();
35
41 public function isRedirect();
42
52 public function getLatest( $wikiId = self::LOCAL );
53
59 public function getTouched();
60
67 public function getLanguage();
68}
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:25
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 objects representing a page that is (or could be, or used to be) an editable page on a ...
Definition ProperPageIdentity.php:43