Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  9f55a065a57911376b80b1b87a269d0083f60c98

Hygiene: Cleanup navigation.js

Remove some dead code from it, reorganize the rest.

Change-Id: Ieb811e5690dd522ad41cff64b2245154aca469d2