resources/mediawiki.action/mediawiki.action.history.js

   1 /*
   2  * JavaScript for History action
   3  */
   4 jQuery( function( $ ) {
   5         // Replaces histrowinit
   6         $( '#pagehistory li input[name="diff"], #pagehistory li input[name="oldid"]' ).click( diffcheck );
   7         diffcheck();
   8         mediaWiki.loader.using('jquery.ui.button', function() {
   9                 window.fixCompare();
  10         });
  11 });