2017-08-10 - production
18:53	<reedy@tin>	Synchronized php-1.30.0-wmf.13/extensions/WikimediaMaintenance/createExtensionTables.php: newsletter (duration: 00m 52s)	[production]