Umherirrender has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/400265 )
Change subject: Add grep comment for js vars wgRestriction*
......................................................................
Add grep comment for js vars wgRestriction*
Change-Id: I974841acf97e9426ed2338f210821e91d7f94286
---
M includes/OutputPage.php
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/65/400265/1
diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 9cf94d8..680eefc 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -3243,6 +3243,7 @@
&& ( $relevantTitle->exists() ||
$relevantTitle->quickUserCan( 'create', $user ) );
foreach ( $title->getRestrictionTypes() as $type ) {
+ // grep: wgRestrictionCreate, wgRestrictionEdit,
wgRestrictionMove, wgRestrictionUpload
$vars['wgRestriction' . ucfirst( $type )] =
$title->getRestrictions( $type );
}
--
To view, visit https://gerrit.wikimedia.org/r/400265
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I974841acf97e9426ed2338f210821e91d7f94286
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
