Translations:Extension:LocalisationUpdate/33/de

Ansonsten wird $wgHTTPProxy verwendet (falls festgelegt) Ansonsten wird die Umgebungsvariable "http_proxy" verwendet (falls festgelegt)