2019-07-19 - production
14:28 <Krinkle> krinkle@deploy1001: extensions/CheckUser is dirty in php-1.34-wmf.13 and php-1.34-wmf.14 [production]