1 files changed, 2 insertions, 0 deletions
diff --git a/includes/Setup.php b/includes/Setup.php
index cdbca8130006..71d988723397 100644
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -62,6 +62,8 @@ use MediaWiki\MainConfigNames;
 use MediaWiki\MainConfigSchema;
 use MediaWiki\MediaWikiServices;
 use MediaWiki\Message\Message;
+use MediaWiki\Registration\ExtensionRegistry;
+use MediaWiki\Registration\MissingExtensionException;
 use MediaWiki\Request\HeaderCallback;
 use MediaWiki\Settings\DynamicDefaultValues;
 use MediaWiki\Settings\LocalSettingsLoader;