Translations:Manual:$wgLogoHD/5/en

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