MediaWiki 1.42.1
PageRecord.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\Page;
4
26interface 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