Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  e9c7171dfbd9d29b39106817b815ae12c73c626a

Cleanup after cookie name change

mf_mobileFormat changed to mf_useformat in
1fb258a0df8e9bb7cbbee57c3ecb7f0ea81914f0

Change-Id: I6da48c68ef536e8105970dc4db10101ece8c9156