Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  2ca8094e780322f0aff430bf28d88c0df494a1a8

Fix header styling

Fix the double bottom border in the header (the additional not 100%
long line) on special pages.

Get rid of #mw-mf-header and use .header everywhere. Get rid of
.escapeOverlay and use .cancel instead.

Change-Id: I8fe0f3df1f0443fcbd94e9b2dfaa17af319e245c