<?php if (!empty($title)): ?>
<script language="JavaScript" type="text/javascript">
<!--
if (parent.frames.horde_main) parent.document.title = '<?php echo addslashes($registry->getParam('name') . ' :: ' . $title) ?>';
//-->
</script>
<?php endif; ?>
</body>
</html>
