temporary renamed is_errordocs field back to errordocs

tbrehm

2008-11-13 12ea25ffbffb4c82a4a534afa64ef585e53c1a57

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