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

Use namespaced classes

Browse source 
Change-Id: I2d9f6a9a8b7e0812a0a758455219aef826a0ffa5
This commit is contained in:
Fomafix 2023-10-03 09:15:14 +00:00
parent 1a19f48c70
commit b6c3eca38b
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
includes/Hooks.php
View file

@ -2,14 +2,14 @@
namespace MediaWiki\Extension\CodeMirror;
use Config;
use MediaWiki\Config\Config;
use MediaWiki\Hook\BeforePageDisplayHook;
use MediaWiki\Output\OutputPage;
use MediaWiki\Preferences\Hook\GetPreferencesHook;
use MediaWiki\ResourceLoader\Hook\ResourceLoaderGetConfigVarsHook;
use MediaWiki\User\User;
use MediaWiki\User\UserOptionsLookup;
use OutputPage;
use Skin;
use User;
class Hooks implements
BeforePageDisplayHook,