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

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

Browse source
This commit is contained in:
jenkins-bot 2013-05-02 20:54:20 +00:00 committed by Gerrit Code Review
parent 0b39389232 c640ef179a
commit 4c99cdd60e
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' ),