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)
enable adminserver (#437)
add hhvm-admin to nginx
Remove procs check from nagios
Comment it out only
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)
Add 2 ","
basic git repo (hosted on prod7) clone task