Assign a default value to theme_default if not set.
[squirrelmail.git] / class /
drwxr-xr-x   ..
-rw-r--r-- 4023 html.class.php
-rw-r--r-- 419 index.php
-rw-r--r-- 34310 mime.class.php