2019-04-09 - production
17:14	<twentyafterfour@deploy1001>	Synchronized php-1.33.0-wmf.24/includes/export/WikiExporter.php: deploy https://gerrit.wikimedia.org/r/c/mediawiki/core/+/502537/1 (duration: 00m 51s)	[production]