Minor fix in the UI.

quentusrex

2008-10-30 533b1b253723a2bb89156abda9cd0f4a9c917ab4

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