Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  b88c31c9e3b4f5215b62af252c303736be2944dc

Hygiene: Make border-box the default

Make our development lives easier.

Change-Id: Ib86b383d72597ae307558bbf50f53c2b09d25956