Translations:Manual:$IP/9/nl

In tegenstelling tot andere variabelen is de standaard ingesteld in WebStart.php in plaats van in DefaultSettings.php.