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

Merge "Update PHPDoc"

Browse source
This commit is contained in:
jenkins-bot 2013-04-04 00:15:23 +00:00 committed by Gerrit Code Review
parent 07df3a8d25 3373975b93
commit ccd38349bc
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Thanks.hooks.php
View file

@ -91,9 +91,9 @@ class ThanksHooks {
* Add extension event to $wgEchoEnabledEvents
* @param $wgEchoEnabledEvents array a list of enabled echo events
* @param $wgEchoEventDetails array details for echo events
* @return bool
*/
public static function onBeforeCreateEchoEvent( &$wgEchoNotifications, &$wgEchoNotificationCategories ) {
$wgEchoNotificationCategories['edit-thank'] = array(
'priority' => 3,
);
@ -123,6 +123,7 @@ class ThanksHooks {
* Add user to be notified on echo event
* @param $event EchoEvent
* @param $users array
* @return bool
*/
public static function onEchoGetDefaultNotifiedUsers( $event, &$users ) {
switch ( $event->getType() ) {