2017-05-19 - production
09:01	<reedy@tin>	Synchronized php-1.30.0-wmf.1/extensions/WikimediaMaintenance/makeSizeDBLists.php: Catch a silly error (duration: 00m 39s)	[production]