Merge "Replace spinner.gif with CSS solution"

diff --combined resources/Resources.php
index c0982e1,8da38a8..7d93366
--- 1/resources/Resources.php
--- 2/resources/Resources.php
+++ b/resources/Resources.php
@@@ -294,7 -294,7 +294,7 @@@ return 
        ],
        'jquery.spinner' => [
                'scripts' => 'resources/src/jquery.spinner/spinner.js',
-               'styles' => 'resources/src/jquery.spinner/spinner.css',
+               'styles' => 'resources/src/jquery.spinner/spinner.less',
                'targets' => [ 'desktop', 'mobile' ],
        ],
        'jquery.jStorage' => [
@@@ -592,7 -592,6 +592,7 @@@
                'group' => 'jquery.ui',
        ],
        'jquery.ui.spinner' => [
 +              'deprecated' => 'Please use "jquery.spinner" instead.',
                'scripts' => 'resources/lib/jquery.ui/jquery.ui.spinner.js',
                'dependencies' => [
                        'jquery.ui.core',
@@@ -1454,9 -1453,7 +1454,9 @@@
                'styles' => 'resources/src/mediawiki.action/mediawiki.action.history.css',
        ],
        'mediawiki.action.history.styles' => [
 -              'styles' => 'resources/src/mediawiki.action/mediawiki.action.history.styles.css',
 +              'skinStyles' => [
 +                      'default' => 'resources/src/mediawiki.action/mediawiki.action.history.styles.css',
 +              ],
        ],
        'mediawiki.action.view.dblClickEdit' => [
                'scripts' => 'resources/src/mediawiki.action/mediawiki.action.view.dblClickEdit.js',
@@@ -2026,8 -2023,8 +2026,8 @@@
                        'parentheses-end',
                        'pipe-separator'
                ],
 -              'styles' => [
 -                      'resources/src/mediawiki.interface.helpers.styles.less',
 +              'skinStyles' => [
 +                      'default' => 'resources/src/mediawiki.interface.helpers.styles.less',
                ],
                'targets' => [
                        'desktop', 'mobile'