2017-05-11 - production
23:39	<thcipriani@tin>	Synchronized php-1.30.0-wmf.1/resources/src/mediawiki.rcfilters: SWAT: [[gerrit:353479|Gate option to save RC filters to default false]] 3/3 (duration: 00m 39s)	[production]