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['repo_name_txt'] = 'Repozitář';
$wb['repo_url_txt'] = 'URL';
$wb['repo_username_txt'] = 'Uživatel (volitelné)';
$wb['repo_password_txt'] = 'Heslo (volitelné)';
$wb['active_txt'] = 'Aktivní';
?>