Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  88e78f9c4e6afdb86b952b615a2b2e7c4294902b

Feature: Setting User Agents

Opera Mini and Android 4.0.3.

Change-Id: Ibfffd98be98f1f8f3641eb003e9394da9452be72