Add some more domains to ShortUrl whitelist
Remove prod4, add prod9

Prod4 is gone, and replaced by prod9.
Remove prod4 from exports (prod4 is gone)
Merge pull request #438 from Southparkfan/patch-40

Remove prod4, add prod9
enable adminserver (#437)
add hhvm-admin to nginx
Remove procs check from nagios
Comment it out only
Merge pull request #440 from Southparkfan/patch-41

Remove procs check from nagios
change HHVM cache to a central place
change default skin for spiralwiki
turn prod* into hhvm admin servers
remove conflicting rule
small fixes
;
Adding Widgets to ATT
add editwidgets to available rights
remove loadbalancing role
integrate nfs-client role into mediawiki role
Load Random extension
Enable Lingo + Random (issue #393)