wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-14 11:19:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced EventLogging class

Browse source 
Change-Id: Ia5a0ba6846ee1bd6a5436e003d65be955a06d565
This commit is contained in:
Reedy 2022-03-06 16:15:32 +00:00
parent 5f13929858
commit 07c823679c
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/Hooks.php
View file

@ -13,12 +13,12 @@ use Article;
use Config;
use Content;
use EditPage;
use EventLogging;
use ExtensionRegistry;
use Html;
use MediaWiki\Cache\CacheKeyHelper;
use MediaWiki\ChangeTags\Hook\ChangeTagsListActiveHook;
use MediaWiki\ChangeTags\Hook\ListDefinedTagsHook;
use MediaWiki\Extension\EventLogging\EventLogging;
use MediaWiki\Hook\EditPage__attemptSave_afterHook;
use MediaWiki\Hook\EditPage__attemptSaveHook;
use MediaWiki\Hook\EditPage__showEditForm_fieldsHook;