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