MediaWiki  master
PageRecord.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Page;
4 
23 interface PageRecord extends ProperPageIdentity {
24 
32  public function isNew();
33 
39  public function isRedirect();
40 
50  public function getLatest( $wikiId = self::LOCAL );
51 
57  public function getTouched();
58 
65  public function getLanguage();
66 }
Data record representing a page that is (or used to be, or could be) an editable page on a wiki.
Definition: PageRecord.php:23
getLatest( $wikiId=self::LOCAL)
The ID of the page's latest revision.
getLanguage()
The page's language, if explicitly recorded.
isRedirect()
True if the page is a redirect.
getTouched()
Timestamp at which the page was last flagged for rerendering.
isNew()
False if the page has had more than one edit.
Interface for a page that is (or could be, or used to be) an editable wiki page.