Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  320c512d30eec081fe903e7c678bb15feabf2595
Merge branch 'master' of ssh://review/mediawiki/extensions/Diff into fixdoc