2017-12-13 - production
23:23	<reedy@tin>	Synchronized php-1.31.0-wmf.12/extensions/Flow/Hooks.php: unbreak CheckUser (duration: 01m 08s)	[production]