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}
Data record representing a page that is (or used to be, or could be) an editable page on a wiki.
getLatest( $wikiId=self::LOCAL)
The ID of the page's latest revision.
getTouched()
Timestamp at which the page was last flagged for rerendering.
isNew()
False if the page has had more than one edit.
getLanguage()
The page's language, if explicitly recorded.
isRedirect()
True if the page is a redirect.
Interface for a page that is (or could be, or used to be) an editable wiki page.