hi, i want my curl to use random proxy from the proxy.txt file that is saved in my site with this format:
1.1.1.1:8080
2.2.2.2:8080
3.3.3.3:8080
...
I want it to make it randomly so that every time it uses different proxy from the proxy.txt list, but i have no idea i can code something like that in php.