Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  e81b9072d0e721a4f40029e320f5b5c8f519a46e

Tag mobile web edits more explicitly

This makes it easier to differentiate between mobile web
edits and mobile app edits, while also having a tag
for 'all' mobile edits.

Change-Id: I7bc29cc5dad7a39a006c212a23af56b1b3f7ed58