Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  f93d3c5c0bb04a1108a557c684b79b865fb86ad3

Hygiene: Some CSS clean-up. Removing old cruft and consolidating.

Removing some old CSS for cached pages that is no longer needed.

Consolidating duplicate .content-header selectors in specials/
common.less.

Change-Id: I52116665f3d9bf72ac099fc49967979744e894ea