Translations:Manual:$wgSVGConverters/36/en

PHP's bug was fixed, so this hack is not needed.