2018-04-19 - production
19:35	<thcipriani@tin>	Synchronized php-1.31.0-wmf.30/includes/page/Article.php: [[gerrit:427755|Do not pass USE INDEX to a $dbType parameter]] T192584 (duration: 01m 17s)	[production]