Translations:Manual:$IP/9/id

Tidak seperti variabel lain, defaultnya diatur di WebStart.php, bukan di DefaultSettings.php.