Merge "EditPage: Remove temporary OOUI page class name"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 28 Aug 2017 18:45:01 +0000 (18:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 28 Aug 2017 18:45:01 +0000 (18:45 +0000)
1  2 
resources/Resources.php

diff --combined resources/Resources.php
@@@ -1428,7 -1428,7 +1428,7 @@@ return 
        ],
        'mediawiki.action.edit.styles' => [
                'targets' => [ 'desktop', 'mobile' ],
-               'styles' => 'resources/src/mediawiki.action/mediawiki.action.edit.styles.css',
+               'styles' => 'resources/src/mediawiki.action/mediawiki.action.edit.styles.less',
        ],
        'mediawiki.action.edit.collapsibleFooter' => [
                'scripts' => 'resources/src/mediawiki.action/mediawiki.action.edit.collapsibleFooter.js',
                        'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less',
                ],
        ],
 +      'mediawiki.rcfilters.highlightCircles.seenunseen.styles' => [
 +              'styles' => [
 +                      'resources/src/mediawiki.rcfilters/' .
 +                      'styles/mw.rcfilters.ui.ChangesListWrapperWidget.highlightCircles.seenunseen.less',
 +              ],
 +      ],
        'mediawiki.rcfilters.filters.dm' => [
                'scripts' => [
                        'resources/src/mediawiki.rcfilters/mw.rcfilters.js',
                'styles' => 'resources/src/mediawiki.special/mediawiki.special.upload.styles.css',
        ],
        'mediawiki.special.userlogin.common.styles' => [
 -              'styles' => [
 -                      'resources/src/mediawiki.special/mediawiki.special.userlogin.common.css',
 +              'targets' => [ 'desktop', 'mobile' ],
 +              'skinStyles' => [
 +                      'default' => 'resources/src/mediawiki.special/mediawiki.special.userlogin.common.css',
                ],
        ],
        'mediawiki.special.userlogin.login.styles' => [