Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  9e46d47a98787ccd1a2de7e5823fb49084b9d5f6
null
ensure diff/watchlist is styled regardless of whether js available

previously with javascript disabled the page would appear completely
unstyled. This is significant when we consider browsers without jQuery

Change-Id: I0199b2a8780adac3323b018ca6ed6465ad46aa8a