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

Don't allow thanking system users

Browse source 
Bug: T237356
Change-Id: I3d7968276a59a66ed4d1931b03310e571d070167
Depends-On: I73f25a10df2c28a69f612eb1db3e91b7125383d9
This commit is contained in:
DannyS712 2019-11-05 22:49:25 +00:00
parent b8e317d9fb
commit 9f495fcedb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/ThanksHooks.php
View file

@ -99,7 +99,7 @@ class ThanksHooks {
protected static function canReceiveThanks( User $user ) {
global $wgThanksSendToBots;
if ( $user->isAnon() ) {
if ( $user->isAnon() || $user->isSystemUser() ) {
return false;
}