I've installed WP and been using it for a while, but some things don't work (for instance, getting rss feeds from the WP site) because apparently I'm behind some kind of firewall, and need to set a proxy for curl.
What I need to set looks like this in PHP:
curl_setopt($CurlConnection, CURLOPT_PROXY, 'http://somesite:8080');
No, I've bee googling quite a lot, but apparently not with the right keywords, because I didn't find a clue about where and how I could set the proxy + port in WP.
I assume it's probably very easy to do, once you know where and how. I hope someone can help me with this.