Translations:Manual:$IP/9/es

A diferencia de otras variables, el valor predeterminado se establece en WebStart.php en vez de DefaultSettings.php.