Как настроить параметры прокси-сервера HTTP в PHP?