[Mediawiki-enterprise] MediaWiki Workshop: Preparing extensions for MediaWiki 1.19 - 1/13/2012 on #wikimedia-dev