resources/mediawiki/mediawiki.hidpi.js

   1 $( function() {
   2         // Apply hidpi images on DOM-ready
   3         // Some may have already partly preloaded at low resolution.
   4         $( 'body' ).hidpi();
   5 } );