2016-01-31 - production
16:01	<tgr>	changed wikiversions.php on mw1017 to serve wmf.10 for SessionManager-related debugging	[production]