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