mirror of https://gerrit.wikimedia.org/r/p/mediawiki/extensions/Collection.git