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         window.fixCompare();
   9 });