2014-01-06 - production
10:15	<hashar>	jenkins: refreshing jslint files for mediawiki extensions, making sure they are in sync	[production]