wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 01:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update metric group for welcome/page-linked/user-rights notif

Browse source 
Change-Id: Ida63587200f972b7b6ec0f826eb4f85ea274b20d
This commit is contained in:
bsitu 2013-04-30 15:28:50 -07:00
parent 83fccf44bc
commit c640ef179a
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Echo.php
View file

@ -350,7 +350,7 @@ $wgEchoNotificationIcons = array(
$wgEchoNotifications = array(
'welcome' => array(
'category' => 'system',
'group' => 'system',
'group' => 'positive',
'title-message' => 'notification-new-user',
'title-params' => array( 'agent' ),
'icon' => 'site',
@ -395,7 +395,7 @@ $wgEchoNotifications = array(
),
'page-linked' => array(
'category' => 'article-linked',
'group' => 'positive',
'group' => 'neutral',
'bundle' => array( 'web' => true, 'email' => true ),
'formatter-class' => 'EchoPageLinkFormatter',
'title-message' => 'notification-page-linked',
@ -436,7 +436,7 @@ $wgEchoNotifications = array(
),
'user-rights' => array(
'category' => 'system',
'group' => 'interactive',
'group' => 'neutral',
'formatter-class' => 'EchoUserRightsFormatter',
'title-message' => 'notification-user-rights',
'title-params' => array( 'agent', 'user-rights-list' ),