#81 theme.php files processed twice.

[Michael Ahlers]

To demonstrate this, place some sort of place some text
before the <?php tag in any theme.php file. For
example, I put /* This is a <path-to>/theme.php */.
When I load any JAWmail page after that, my comment
appears twice for each theme.php file. For example:

/* themes/mytheme/theme.php */
/* apps/mail/themes/mytheme/theme.php */
/* apps/mail/themes/mytheme/theme.php */
/* themes/mytheme/theme.php */

Not really a serious issue, but performing the same
operations twice for no good reason is no good. :-)