Translations:Manual:$wgProto/8/en

If you want to change it, you need to overwrite other related values as well or modify DefaultSettings.php.