jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/353848 )
Change subject: Introduce wgRelevantPageIsProbablyEditable ...................................................................... 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 --- M includes/OutputPage.php 1 file changed, 4 insertions(+), 0 deletions(-) Approvals: Brion VIBBER: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/OutputPage.php b/includes/OutputPage.php index 85610b9..bab52a3 100644 --- a/includes/OutputPage.php +++ b/includes/OutputPage.php @@ -3221,6 +3221,10 @@ $vars['wgIsProbablyEditable'] = $title->quickUserCan( 'edit', $user ) && ( $title->exists() || $title->quickUserCan( 'create', $user ) ); + $vars['wgRelevantPageIsProbablyEditable'] = $relevantTitle + && $relevantTitle->quickUserCan( 'edit', $user ) + && ( $relevantTitle->exists() || $relevantTitle->quickUserCan( 'create', $user ) ); + foreach ( $title->getRestrictionTypes() as $type ) { $vars['wgRestriction' . ucfirst( $type )] = $title->getRestrictions( $type ); } -- To view, visit https://gerrit.wikimedia.org/r/353848 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6c6ca1cfd93e7be917952980f1e1d57aec3a1292 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: Brion VIBBER <br...@wikimedia.org> Gerrit-Reviewer: Catrope <r...@wikimedia.org> Gerrit-Reviewer: Esanders <esand...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits