Translations:Manual:$wgLogoHD/5/en

The scaled logo size should be under 135x135 pixels, the same as $Logo.