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

Merge "Try and avoid race conditions with thank-you-edit notifications"

Browse source
This commit is contained in:
jenkins-bot 2016-03-04 07:28:58 +00:00 committed by Gerrit Code Review
parent ff41a87105 8d99490108
commit bbd68492b9
1 changed files with 16 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
Hooks.php
View file

@ -461,15 +461,22 @@ class EchoHooks {
// This edit hasn't been added to the edit count yet
$editCount = $user->getEditCount() + 1;
if ( in_array( $editCount, $thresholds ) ) {
LoggerFactory::getInstance( 'Echo' )->debug(
'Thanking {user} (id: {id}) for their {count} edit',
array(
'user' => $user->getName(),
'id' => $user->getId(),
'count' => $editCount,
)
);
DeferredUpdates::addCallableUpdate( function () use ( $user, $title, $editCount ) {
$id = $user->getId();
DeferredUpdates::addCallableUpdate( function () use ( $id, $title, $editCount ) {
// Fresh User object
$user = User::newFromId( $id );
if ( $user->getEditCount() !== $editCount ) {
// Race condition with multiple simultaneous requests, skip
return;
}
LoggerFactory::getInstance( 'Echo' )->debug(
'Thanking {user} (id: {id}) for their {count} edit',
array(
'user' => $user->getName(),
'id' => $user->getId(),
'count' => $editCount,
)
);
EchoEvent::create( array(
'type' => 'thank-you-edit',
'title' => $title,