[Mediawiki-l] Extension: Collection