Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMaintenance  ace85f99b1a59d6d691f8965d363f8d2814f5809

Alphasort list of extensions

Add FlaggedRevs

Change-Id: Idc3555a0557c1f43189f0618bad1ea42079a0251