Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  4f2df0e46b8461ea5c91a23ee0af0d229c8aa3e9

Fix JS error in redlinks.js due to missing dependency

mw.user.isAnon() is in the mediawiki.user module

Change-Id: Ia533030e0b73237bae9946e1d599a7fc3c3938e9