2019-07-24 - production
18:12	<Krinkle>	krinkle@deploy1001: extensions/CheckUser is dirty in php-1.34.0-wmf.15	[production]