2013-11-08 - production
21:00	<marc>	synchronized wmf-config/InitialiseSettings.php 'Bug: 56203 - Various changes to wikidatawiki's user rights configuration'	[production]