Manual:PageRecord.php

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