Fixes: #3899

Florian Schaal

2016-05-14 d0a3ad4ef336757aef28a56751888d784b629f2f

1
2
3
4
<?php
$wb['welcome_user_txt'] = "Welcome %s";
$wb['available_modules_txt'] = "Available Modules";
?>