jenkins-bot has submitted this change and it was merged.
Change subject: DefaultSettings: Added permission configs
......................................................................
DefaultSettings: Added permission configs
Added configs for new permissions, introduced with MW 1.22
Change-Id: Ied2c102b76134402d3053f45a6f21f19739a571c
---
M includes/DefaultSettings.php
1 file changed, 21 insertions(+), 0 deletions(-)
Approvals:
Robert Vogel: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 13679c1..a9165f7 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -146,15 +146,36 @@
"editinterface" => array(
'type' => 'global'
),
+ "editmywatchlist" => array(
+ 'type' => 'global'
+ ),
+ "viewmywatchlist" => array(
+ 'type' => 'global'
+ ),
+ "editmyprivateinfo" => array(
+ 'type' => 'global'
+ ),
+ "viewmyprivateinfo" => array(
+ 'type' => 'global'
+ ),
+ "editmyoptions" => array(
+ 'type' => 'global'
+ ),
"editusercssjs" => array(
'type' => 'global'
),
"editusercss" => array(
'type' => 'global'
),
+ "editmyusercss" => array(
+ 'type' => 'global'
+ ),
"edituserjs" => array(
'type' => 'global'
),
+ "editmyuserjs" => array(
+ 'type' => 'global'
+ ),
"hideuser" => array(
'type' => 'global'
),
--
To view, visit https://gerrit.wikimedia.org/r/208622
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ied2c102b76134402d3053f45a6f21f19739a571c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BlueSpiceFoundation
Gerrit-Branch: REL1_23
Gerrit-Owner: Robert Vogel <[email protected]>
Gerrit-Reviewer: Robert Vogel <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
