2017-07-12 - production
12:04	<dereckson@tin>	Synchronized multiversion/MWMultiVersion.php: +mai.wikimedia new subdomain (duration: 00m 46s)	[production]