2014-05-16 - production
16:53	<demon>	synchronized wmf-config/CommonSettings.php 'Removing old WikiEditor settings'	[production]