Load paths from /etc/profile in server.sh script.

tbrehm

2008-11-14 95da61fbc4a2968c4c486302d23572cb80c65061

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