2018-01-23 - releng
18:25	<Hauskatze>	Ran fixDoubleRedirects.php on deploymentwiki	[releng]