Eine generelle Proxy-Konfigurationsdirektive ist mir nicht bekannt. Als Alternative kannst du file_get_contents() mit dem Kontext-Parameter nutzen und das Ergebnis über simplexml_load_string() weiterverarbeiten.
Falsch, ich hatte das Problem vor einer Woche, das hier ist die Lösung und sie
funktioniert:
// Proxy settings to avoid crash by heidelberg-proxy
$auth = base64_encode('username:pass');
$header = array("Authorization: Basic $auth");
$Proxy = 'proxy.krz.uni-heidelberg.de:8080';
$r_default_context = stream_context_get_default(array('http' => array('proxy' => $Proxy,'request_fulluri' => True,'header' => $header,),));
libxml_set_streams_context($r_default_context);