'dependencies' => [
'mediawiki.api',
'mediawiki.storage',
+ // The two user.* modules are not used by mediawiki.user itself,
+ // but kept as explicit dependencies because they provide part
+ // of the mw.user API that consumers of this module expect.
'user.options',
'user.tokens',
],
'targets' => [ 'desktop', 'mobile' ],
],
'mediawiki.special.changeslist.enhanced' => [
- 'styles' => 'resources/src/mediawiki.special.changeslist.enhanced.css',
+ 'styles' => 'resources/src/mediawiki.special.changeslist.enhanced.less',
],
'mediawiki.special.changeslist.legend' => [
'styles' => 'resources/src/mediawiki.special.changeslist.legend.less',