Я пытаюсь написать программу на PHP, которую я уже написал на Java. Я использовал следующие инструкции для настройки прокси-сервера в Java
System.setProperty("http.proxyHost",proxyhost); System.setProperty("http.proxyPort",proxyport);
Как мне сделать то же самое для PHP?