Translations:Manual:$wgScriptExtension/5/en

This can either be $php or $php5.