2011-09-22 - production
05:11	<aaron>	synchronized wmf-config/flaggedrevs.php 'added extension namespace to $wgFlaggedRevsNamespaces for mediawikiwiki'	[production]