2009-05-01 - production
05:32	<andrew>	synchronized php-1.5/includes/ChangeTags.php 'Index has been renamed since it was created on Wikimedia'	[production]