Updated mediawiki/extensions
Project: mediawiki/extensions/FlaggedRevs  11f0f16673451e8aea436242ff63b446820436b0
null
(bug 41415) Use mw.config instead of global.  Also:

* Use mw abbreviation everywhere.
* Fix file comments.

Change-Id: I29bbbf91e575e94ac915be90784e7b6047a9e1f8