1 files changed, 1 insertions, 0 deletions
diff --git a/index.php b/index.php
index e110e26d7c47..f9cb22c3c4bd 100644
--- a/index.php
+++ b/index.php
@@ -35,6 +35,7 @@
  */
 
 use MediaWiki\Actions\ActionEntryPoint;
+use MediaWiki\Context\RequestContext;
 use MediaWiki\EntryPointEnvironment;
 use MediaWiki\MediaWikiServices;