diff --git a/extension.json b/extension.json index d1cbca13e..61da6eec0 100644 --- a/extension.json +++ b/extension.json @@ -112,6 +112,7 @@ "mediawiki.ui.button", "mediawiki.ui.icon", "mediawiki.Uri", + "mediawiki.user", "jquery.hidpi" ] }