2009-09-16 - production
14:20	<robh>	synchronized php-1.5/wmf-config/db.php 'switching masters from db13 to db15'	[production]