Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  d84ba2ae39163fa820013016510832b48fc1d088

Making sure mediawiki.ui buttons use regular box-sizing

...since a min-width is set from core

Change-Id: If1a1d0de88b86f4bda2cab9af6488767d5fa713a