For older versions or specific configurations, you can sometimes access internal flags.
Long-press your connected network and select . how to change proxy settings in opera mini android