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

Update moved class EditPage

Browse source 
See T321882. Moved in Ibefc44eb64aed

Bug: T321681
Change-Id: Ia2582eefeed7c0a70fcc89857fb30995a6c0f1ed
This commit is contained in:
gerritbot 2023-05-06 21:21:49 +00:00 committed by Umherirrender
parent a4392294fd
commit 1271e13c56
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

@ -12,12 +12,12 @@ use ApiMessage;
use Article;
use Config;
use Content;
use EditPage;
use ExtensionRegistry;
use Html;
use MediaWiki\Cache\CacheKeyHelper;
use MediaWiki\ChangeTags\Hook\ChangeTagsListActiveHook;
use MediaWiki\ChangeTags\Hook\ListDefinedTagsHook;
use MediaWiki\EditPage\EditPage;
use MediaWiki\Extension\DiscussionTools\Hooks as DiscussionToolsHooks;
use MediaWiki\Extension\EventLogging\EventLogging;
use MediaWiki\Hook\EditPage__attemptSave_afterHook;