Jump to content

Manual:PageRecord.php

From mediawiki.org

Interface for a data record representing a page that is, or used to be, or could be, an editable page on a wiki. Extends ProperPageIdentity . Introduced in MW 1.36.

Public methods

[edit]
  • isRedirect()
  • getLatest()
  • getTouched()
  • getLanguage()

Extended by

[edit]

See also

[edit]