Fixed #258

tbrehm

2008-11-17 2c8f94001b7d1361d504e8f381d5cb11a46249c0

1
2
3
4
<?php
$wb['User Settings'] = 'User Settings';
$wb['Settings'] = 'Settings';
?>