Re: [MediaWiki-l] Suggestion: a proper catalog for extensions