Merge "Fix width of OOUI TextInputWidget with .mw-editfont-... classes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 24 Apr 2018 11:38:28 +0000 (11:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 24 Apr 2018 11:38:28 +0000 (11:38 +0000)
1  2 
resources/Resources.php

diff --combined resources/Resources.php
@@@ -1411,7 -1411,7 +1411,7 @@@ return 
                'targets' => [ 'desktop', 'mobile' ],
        ],
        'mediawiki.editfont.styles' => [
-               'styles' => 'resources/src/mediawiki/mediawiki.editfont.css',
+               'styles' => 'resources/src/mediawiki/mediawiki.editfont.less',
                'targets' => [ 'desktop', 'mobile' ],
        ],
        'mediawiki.visibleTimeout' => [
                'dependencies' => [
                        'oojs-ui-core',
                        'jquery.lengthLimit',
 +                      'mediawiki.language',
                        'mediawiki.String',
                ],
                'targets' => [ 'desktop', 'mobile' ]