The default loading of module 'mediawiki.user' was added in
7d4108ecdb
(r88254).
At this time mw.user.options was defined in module 'mediawiki.user'.
Now mw.user.options is already defined in module 'startup'.
Change-Id: I772cf93317f64a7d1723b01cb92f7db7be91cf89
'core' => [
'site',
'mediawiki.page.startup',
'core' => [
'site',
'mediawiki.page.startup',
],
// modules that enhance the content in some way
'content' => [
],
// modules that enhance the content in some way
'content' => [