Updated mediawiki/extensions
Project: mediawiki/extensions/CentralNotice  d72199942db9f6402831c232b85ef3556f0b437f

Serve Mobile URLs to Mobile Users

This seems to work but I'm having a heck of a time actually
testing it. So -- to the beta cluster :)

Bug: 55860
Change-Id: I56c5025fac4bfa23944f104b149fadcff6a2d43f