wikimedia/mediawiki-extensions-MultimediaViewer
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer synced 2024-11-24 00:03:56 +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-10 22:38:36 +00:00 committed by Gerrit Code Review
parent 3d350a29ab 249f30c88c
commit 8ded5568e0
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

@ -24,7 +24,6 @@
namespace MediaWiki\Extension\MultimediaViewer; namespace MediaWiki\Extension\MultimediaViewer;
use CategoryPage; use CategoryPage;
use ExtensionRegistry;
use MediaWiki\Category\Category; use MediaWiki\Category\Category;
use MediaWiki\Config\Config; use MediaWiki\Config\Config;
use MediaWiki\Hook\ThumbnailBeforeProduceHTMLHook; use MediaWiki\Hook\ThumbnailBeforeProduceHTMLHook;
@ -33,6 +32,7 @@ use MediaWiki\Output\Hook\MakeGlobalVariablesScriptHook;
use MediaWiki\Output\OutputPage; use MediaWiki\Output\OutputPage;
use MediaWiki\Page\Hook\CategoryPageViewHook; use MediaWiki\Page\Hook\CategoryPageViewHook;
use MediaWiki\Preferences\Hook\GetPreferencesHook; use MediaWiki\Preferences\Hook\GetPreferencesHook;
use MediaWiki\Registration\ExtensionRegistry;
use MediaWiki\ResourceLoader\Hook\ResourceLoaderGetConfigVarsHook; use MediaWiki\ResourceLoader\Hook\ResourceLoaderGetConfigVarsHook;
use MediaWiki\SpecialPage\SpecialPageFactory; use MediaWiki\SpecialPage\SpecialPageFactory;
use MediaWiki\User\Hook\UserGetDefaultOptionsHook; use MediaWiki\User\Hook\UserGetDefaultOptionsHook;