Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  d87cc7955f9ea5952ff775cb005eea2de2028fce