Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  dbba9953c78d545eccfafce62a604625140b5b19

Minor cleanup: unused vars, annotations

Change-Id: I750bdb11d25a6b79aab3676c3e6b9f420378bdec