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
Gerrit-Reviewer: Brion VIBBER
Gerrit-Reviewer: Catrope
Gerrit-Reviewer: Esanders
Gerrit-Reviewer: jenkins-bot <>
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits