2020-05-11 - production
16:06	<brennen@deploy1001>	Synchronized php-1.35.0-wmf.31/extensions/WikimediaMaintenance: [[gerrit:595076|Revert "Remove use of WikiPage::doEditContent"]] (duration: 01m 06s)	[production]