Skin: Remove default loading of module 'mediawiki.user'

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

diff --git a/includes/skins/Skin.php b/includes/skins/Skin.php
index 1e0051d..809d411 100644 (file)
--- a/includes/skins/Skin.php
+++ b/includes/skins/Skin.php
@@ -196,7 +196,6 @@ abstract class Skin extends ContextSource {
                        'core' => [
                                'site',
                                'mediawiki.page.startup',
-                               'mediawiki.user',
                        ],
                        // modules that enhance the content in some way
                        'content' => [