Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  e71eb83c99f34435e4a5e427d3af4cbc29a3945c