:( I had it right the first time. It's getting too late to submit patches.

quentusrex

2008-10-30 51a913374622184554ad97166f0e265f8d443386

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