Introduce wgRelevantPageIsProbablyEditable
authorJames D. Forrester <jforrester@wikimedia.org>
Mon, 15 May 2017 10:12:44 +0000 (11:12 +0100)
committerJforrester <jforrester@wikimedia.org>
Thu, 18 May 2017 15:29:18 +0000 (15:29 +0000)
commitdbfe9c99d3f7c91f103e89c299c3bc5d18db8667
tree7c7cf2708f79a68d6e3ff245b7cf3549ebcc4f59
parent28d3fa1d92e52601206149716f7eb9343a1ad39b
Introduce wgRelevantPageIsProbablyEditable

This is equivalent to the existing variable wgIsProbablyEditable and in
keeping with wgRelevantPageName/wgRelevantArticleId; this is done as an
alternative to making a breaking change to the semantics of the former,
as that might cause issues for users who expect wgIsProbablyEditable to
return true on [[Foo]], but false on [[Special:Move/Foo]] and similar.

Change-Id: I6c6ca1cfd93e7be917952980f1e1d57aec3a1292
includes/OutputPage.php