wikimedia/WikipediaMobile — pull request #81 by yuvipanda (2011-12-24 00:04:20+00:00)
Title: Serialize access to settings page

Fix for https://bugzilla.wikimedia.org/show_bug.cgi?id=32905