Updated mediawiki/extensions
Project: mediawiki/extensions/MobileApp  5845c119411434d34a2a938089f6e14c555308a2

Add 'mobile app edit' tags to edits from MobileApp

Detection based on user agent

Change-Id: Ied1c98d42b336982caffb4494f3760a000331e92