Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  80be469f3572ae4c80b29aca14a860c24b5bc20d

Hygiene: Fix up documentation

git-review hook is complaining again guys
Make sure you have it installed!

Kill dead code block - animate not used anywhere.

Change-Id: I64284aa7d6013b304236f1e74bb6e6162a7cbf7b