2013-07-12 - production
18:19	<reedy>	synchronized wmf-config/InitialiseSettings.php 'Remove wgOldChangeTagsIndex on all remaining wikis'	[production]