2017-05-24 - production
15:35	<krinkle@tin>	Synchronized php-1.30.0-wmf.2/resources/Resources.php: Restore mediawiki.page.watch.ajax dependency - Iebfda85c7 (duration: 00m 42s)	[production]