2016-08-25 - production
23:29	<maxsem@tin>	Synchronized php-1.28.0-wmf.16/includes/DefaultSettings.php: https://gerrit.wikimedia.org/r/#/c/306837/ (duration: 00m 47s)	[production]