2017-12-06 - production
16:33	<anomie@terbium>	Finished cleanupUsersWithNoId.php on mediawikiwiki	[production]