wikimedia/WikipediaMobile — pull request #166 by yuvipanda (2012-03-09 21:11:28+00:00)
Title: Android menu race fix

Seems to fix the race condition in Android caused by calling updateMenuState too often.

ALSO contains Java Formatting fixes.