2011-11-17 - production
22:08	<binasher>	added db20 to decommissioning.pp, renamed server (professor) will be the new mediawiki profiling host	[production]