Re: [Wikitech-l] Obsolete MediaWiki extensions