diff --git a/includes/InputBox.php b/includes/InputBox.php index bae0db88..ae67df48 100644 --- a/includes/InputBox.php +++ b/includes/InputBox.php @@ -8,12 +8,12 @@ namespace MediaWiki\Extension\InputBox; -use ExtensionRegistry; use MediaWiki\Config\Config; use MediaWiki\Html\Html; use MediaWiki\MainConfigNames; use MediaWiki\Parser\Parser; use MediaWiki\Parser\Sanitizer; +use MediaWiki\Registration\ExtensionRegistry; use MediaWiki\SpecialPage\SpecialPage; /**