Followup to r86047: Declare dependency to JUI button more cleanly

diff --git a/resources/Resources.php b/resources/Resources.php
index 4cc7ac1..dc1c799 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -550,7 +550,7 @@ return array(
                'group' => 'mediawiki.action.history',
                'remoteBasePath' => $GLOBALS['wgStylePath'],
                'localBasePath' => "{$GLOBALS['IP']}/skins",
-               'dependencies' => 'mediawiki.legacy.wikibits',
+               'dependencies' => array( 'mediawiki.legacy.wikibits', 'jquery.ui.button' ),
        ),
        'mediawiki.legacy.IEFixes' => array(
                'scripts' => 'common/IEFixes.js',

diff --git a/resources/mediawiki.action/mediawiki.action.history.js b/resources/mediawiki.action/mediawiki.action.history.js
index fb62d65..acf4e29 100644 (file)
--- a/resources/mediawiki.action/mediawiki.action.history.js
+++ b/resources/mediawiki.action/mediawiki.action.history.js
@@ -5,7 +5,5 @@ jQuery( function( $ ) {
        // Replaces histrowinit
        $( '#pagehistory li input[name="diff"], #pagehistory li input[name="oldid"]' ).click( diffcheck );
        diffcheck();
-       mediaWiki.loader.using('jquery.ui.button', function() {
-               window.fixCompare();
-       });
+       window.fixCompare();
 });
\ No newline at end of file