Fixed 404 problem in HHVM PHP mode.

Till Brehm

2016-04-22 404c729302f2536edb1cc9aebf63d9e89753438e

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