User:AVRS/hidpi.js

// from User:Brion VIBBER/hidpi.js $('img').each(function {   var $img = $(this),        src = $img.attr('src');    if (src.match(/\.svg\.png/)) {        var replaced = src.replace(/thumb\/([0-9a-f]\/[0-9a-f][0-9a-f]\/[^/]+\.svg)\/.*/, '$1'); //        console.log(src, replaced);        $img.attr('src', replaced);    } })