Fixed Issue #3827 Stable 3.1 login session / cookie

Till Brehm

2016-04-25 50144588b7d50e98045a55f4d4afdbeb9bf95596

1
2
3
4
<?php
$wb["list_head_txt"] = 'Server Configuration';
$wb["server_name_txt"] = 'Server';
?>