Manual:ProperPageIdentity.php

From Linux Web Expert

Revision as of 05:02, 27 January 2024 by imported>Cavila
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Interface for a page that is (or could be, or used to be) an editable wiki page. A ProperPageIdentity always represents an editable or creatable page, which is not necessarily the case for PageIdentity. It was introduced in MW 1.36.

See also