Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  368d577bab1b0d885506cee7d300c46e2036f169

Make sure we detect Android tablets correctly

The only way to distinguish Android tablet browser from Android mobile
browser is that Android tablet browser doesn't include the word mobile.

Also update tests.

Change-Id: Id86f0d6abb3a1baeb92312123df84c090825fe77
Updated mediawiki/extensions
Project: mediawiki/extensions/FanBoxes  e962b008221861eb7801fe43645181cd26c361a6

Fix fatal under MediaWiki 1.23.

Change-Id: If483b38ee09fe4889be4256efa4cf2de877f55b2