Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c2c10005787a7d2a23a8747c98ee8e0a4317bc6d

Obey the schema

The current used schema requests that the edit count
is a number not a string otherwise it will not log

Change-Id: I827f6d36045ac285c7a8aa3e430ef68c0549b43a