wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-13 17:53:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update namespaces of PHP classes"

Browse source
This commit is contained in:
jenkins-bot 2024-10-04 19:17:27 +00:00 committed by Gerrit Code Review
parent 8b7b17f9ee 38051ed25e
commit d3920f2a1c
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

@ -3,7 +3,6 @@
namespace MediaWiki\Extension\CodeEditor;
use ErrorPageError;
use ExtensionRegistry;
use MediaWiki\EditPage\EditPage;
use MediaWiki\Extension\CodeEditor\Hooks\HookRunner;
use MediaWiki\Hook\EditPage__showEditForm_initialHook;
@ -11,6 +10,7 @@ use MediaWiki\Hook\EditPage__showReadOnlyForm_initialHook;
use MediaWiki\HookContainer\HookContainer;
use MediaWiki\Output\OutputPage;
use MediaWiki\Preferences\Hook\GetPreferencesHook;
use MediaWiki\Registration\ExtensionRegistry;
use MediaWiki\Title\Title;
use MediaWiki\User\Options\UserOptionsLookup;
use MediaWiki\User\User;