:( 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'] = 'Gebruiker instellingen'; 
$wb['Settings'] = 'Instellingen'; 
?>