diff --git a/extension.json b/extension.json
index dc94409537..454f8cfa0e 100644
--- a/extension.json
+++ b/extension.json
@@ -270,6 +270,7 @@
 				"mediawiki.page.startup",
 				"mediawiki.Title",
 				"mediawiki.Uri",
+				"mediawiki.user",
 				"mediawiki.util",
 				"mediawiki.api.options",
 				"user.options",