Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  f3e8986246b77c9ec9885cb741e7c65abd7c868a

Card 1814 (Story 1747): Notification drawer

Rename navigation.js to match us with associated less file
Note that animations and the new icon will be done in follow up patchsets

Change-Id: I01a4f54d5aca581eddbc136f28734e7be1955acc