resync-tool: show server_name even if resyncing only one server

Florian Schaal

2014-09-11 aacbd98c0af57001c094aa92ce69902e40fb7ac0

 interface/web/tools/lib/lang/en_interface.lng

@@ -1,4 +1,6 @@
<?php
$wb["interface_head_txt"] = 'Interface Settings';
$wb["interface_desc_txt"] = 'Modify your interface';
$wb["language_txt"] = 'Language';
$wb["startmodule_txt"] = 'Startmodule';
$wb["app_theme_txt"] = 'Design';