2011-05-18 - production
15:24	<demon>	synchronized php-1.17/wmf-config/extension-list	[production]