2018-02-28 - production
20:20	<thcipriani@tin>	Synchronized php-1.31.0-wmf.23/includes/page/WikiPage.php: [[gerrit:415351|WikiPage: Avoid $user variable reuse in doDeleteArticleReal()]] T188479 (duration: 00m 57s)	[production]