It looks like you’re looking for information on (likely on a mobile device) or how Opera Mini handles proxies.
Would you like help with setting up a system-wide proxy on your specific device (Android/iOS)?