2012-12-20 - production
00:19	<AaronSchulz>	Running refreshFileHeaders.php on all wikis	[production]