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

Update PHPDoc

Browse source 
Change-Id: I920aa1875548120efa2c670e4290ba2d4a004878
This commit is contained in:
Siebrand Mazeland 2013-03-27 11:45:25 +01:00
parent da32c6787e
commit 3373975b93
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() ) {