Re: [Wikitech-l] What's the best way to identify actually executed MediaWiki extensions?