Feature: Setting User Agents

Opera Mini and Android 4.0.3.

Change-Id: Ibfffd98be98f1f8f3641eb003e9394da9452be72