Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  6cf513a6a4c3f5bb1233c90088f579184119112f

Card 1757: Add EventLogging to Special:MobileOptions

Change-Id: I864da62d342df9fa587bfb1f737eeafba007a14d