вот так попробуйте
if (!empty($list))
{
echo '<div class="rmenu">' . $lng['unread'] . ': ' . functions::display_menu($list, ', ') . '</div>';
}
else
{
?>
<script type="text/javascript">
process();
</script>
<div id = "myDivElement" />
<?php
echo '}';