Merge "Add mw-ui-checkbox"

diff --combined resources/Resources.php
index 53d0c31,bcdc8ef..c3aa864
--- 1/resources/Resources.php
--- 2/resources/Resources.php
+++ b/resources/Resources.php
@@@ -487,6 -487,7 +487,6 @@@ return array
                ),
                'skinStyles' => array(
                        'default' => 'resources/lib/jquery.ui/themes/smoothness/jquery.ui.menu.css',
 -                      'vector' => 'resources/src/jquery.ui-themes/vector/jquery.ui.menu.css',
                ),
                'group' => 'jquery.ui',
        ),
@@@ -564,6 -565,7 +564,6 @@@
                ),
                'skinStyles' => array(
                        'default' => 'resources/lib/jquery.ui/themes/smoothness/jquery.ui.spinner.css',
 -                      'vector' => 'resources/src/jquery.ui-themes/vector/jquery.ui.spinner.css',
                ),
                'group' => 'jquery.ui',
        ),
@@@ -587,6 -589,7 +587,6 @@@
                ),
                'skinStyles' => array(
                        'default' => 'resources/lib/jquery.ui/themes/smoothness/jquery.ui.tooltip.css',
 -                      'vector' => 'resources/src/jquery.ui-themes/vector/jquery.ui.tooltip.css',
                ),
                'group' => 'jquery.ui',
        ),
@@@ -1179,11 -1182,7 +1179,11 @@@
        ),
        'mediawiki.page.image.pagination' => array(
                'scripts' => 'resources/src/mediawiki.page/mediawiki.page.image.pagination.js',
 -              'dependencies' => array( 'jquery.spinner' )
 +              'dependencies' => array(
 +                      'mediawiki.Uri',
 +                      'mediawiki.util',
 +                      'jquery.spinner',
 +              ),
        ),
  
        /* MediaWiki Special pages */
@@@ -1429,6 -1428,13 +1429,13 @@@
                'position' => 'top',
                'targets' => array( 'desktop', 'mobile' ),
        ),
+       'mediawiki.ui.checkbox' => array(
+               'styles' => array(
+                       'resources/src/mediawiki.ui/components/checkbox.less',
+               ),
+               'position' => 'top',
+               'targets' => array( 'desktop', 'mobile' ),
+       ),
        // Lightweight module for button styles
        'mediawiki.ui.button' => array(
                'styles' => array(