Sloppy commit on my part. Sorry. My commit didn't fix the bug. So I'm undoi...

quentusrex

2008-10-30 cdf3ad8c5017563ccf3bbdcdf14c74e73ea02d52

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