resources/mediawiki/mediawiki.views.history.js

   1 /*
   2  * JavaScript for History view
   3  */
   4
   5 // Replaces histrowinit
   6 $( '#pagehistory li input[name=diff], #pagehistory li input[name=oldid]' ).click( diffcheck );
   7 diffcheck();