Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c00d3ccfbe8f6e93580f71aef495c45a77842301

Save stats on MobileOptions usage/fails

Change-Id: I5f0e8f6a860af7c82c1d3836cdff58712762fbbc