wikimedia/WikipediaMobile — pull request #316 by brion (2012-11-29 21:59:31+00:00)
Title: Add back user-agent for iOS (bug 42484)

https://bugzilla.wikimedia.org/show_bug.cgi?id=42484