dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89dd1f7) | patch
Skin: Remove default loading of module 'mediawiki.user'
authorFomafix <fomafix@googlemail.com>
Mon, 3 Dec 2018 12:56:52 +0000 (13:56 +0100)
committerKrinkle <krinklemail@gmail.com>
Sat, 8 Dec 2018 20:07:50 +0000 (20:07 +0000)
commit96e33ea5eb214525885347057d0c71c780af6520
tree7cf54641102886e8cd22eca251577aa2fe16a24etree | snapshot
parent89dd1f7c93e809d11e68b5f804179587b7e87ff6commit | diff
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
includes/skins/Skin.php diff | blob | history
Wiklou, le Wiki du Wiklou