The code in the module 'mediawiki.user' does not depend on the modules
'user.options' and 'user.tokens' so the ResourceLoader dependency is
not necessary.
Change-Id: I22b9175f7623dbdf1c08826904b76dee5d56ea40
'dependencies' => [
'mediawiki.api',
'mediawiki.storage',
'dependencies' => [
'mediawiki.api',
'mediawiki.storage',
+ // The two user.* modules are not used by mediawiki.user itself,
+ // but kept as expliciit dependencies because they provide part
+ // of the mw.user API that consumers of this module expect.
'user.options',
'user.tokens',
],
'user.options',
'user.tokens',
],