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

Florian Schaal

2014-09-11 aacbd98c0af57001c094aa92ce69902e40fb7ac0

1
2
3
4
5
6
7
<?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';
?>