wikimedia/WikipediaMobile — pull request #139 by Dante-101 (2012-02-12 10:24:06+00:00)
Title: Fix for Null Menu

Fixed the menu showing Null before the first page loads