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

Merge "Pass a user to EchoEvent::create"

Browse source
This commit is contained in:
jenkins-bot 2020-05-06 16:22:19 +00:00 committed by Gerrit Code Review
parent 4ff2b21819 868fb32c2e
commit c4faa9a99d
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/EchoHooks.php
View file

@ -1299,7 +1299,7 @@ class EchoHooks {
'reverted-revision-id' => $oldRevision->getId(), 'reverted-revision-id' => $oldRevision->getId(),
'method' => 'rollback', 'method' => 'rollback',
], ],
'agent' => $agent, 'agent' => User::newFromIdentity( $agent ),
] ); ] );
} }
} }