Translations:Manual:$wgLogoHD/5/en

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