MediaWiki  master
PageRecord.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Page;
4 
24 interface PageRecord extends ProperPageIdentity {
25 
33  public function isNew();
34 
40  public function isRedirect();
41 
51  public function getLatest( $wikiId = self::LOCAL );
52 
58  public function getTouched();
59 
66  public function getLanguage();
67 }
Data record representing a page that is (or used to be, or could be) an editable page on a wiki.
Definition: PageRecord.php:24
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.