remove prod5 as a mediawiki server