2019-10-10 - production
21:58	<jforrester@deploy1001>	Synchronized wmf-config/PhpAutoPrepend.php: Drop special-case for PHP7, now always used (duration: 00m 51s)	[production]