Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  71078f457757dcdfd70272b7003e443d5e9b746d

Making WikiGrok pull property ID and name from new campaign data

We will soon be storing the property ID and name in the campaign data
stored in the page. This is the client-side code to start using that.
It is backwards compatible with the old data.

Change-Id: I37ea19e5ed30b3672f15a411146b57b119aabd5f