wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-23 18:30:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced EventLogging class

Browse source 
Change-Id: I42affe2633f39a3be02a78e4a6b5dd32b23ff7bd
This commit is contained in:
Reedy 2022-03-06 16:11:17 +00:00
parent 586e1291bf
commit 0efcb843dd
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/EventLogging.php
View file

@ -1,5 +1,6 @@
<?php
use MediaWiki\Extension\EventLogging\EventLogging;
use MediaWiki\MediaWikiServices;
use MediaWiki\User\UserIdentity;