Merge branch 'stable-3.1'

Marius Burkard

2016-03-02 59f3ca6201c1487f3a4aceafe2c4a96201e58ce7

1
2
3
4
5
6
7
8
<?php
$wb['list_head_txt'] = 'Shell gebruiker';
$wb['active_txt'] = 'Actief';
$wb['server_id_txt'] = 'Server';
$wb['parent_domain_id_txt'] = 'Site';
$wb['username_txt'] = 'Gebruikersnaam';
$wb['add_new_record_txt'] = 'Toevoegen nieuwe shell-user';
?>