Translations:Manual:$IP/9/pt

Ao contrário das outras variáveis, a predefinição é definida no Webstart.php em vez do Defaultsettings.php.