Beispiel #1
0
if (!empty($tabs)) {
    echo $tabs . '<div class="cleared"></div>';
}
if (!empty($tabs2)) {
    echo $tabs2 . '<div class="cleared"></div>';
}
if (!empty($mission)) {
    echo '<div id="mission">' . $mission . '</div>';
}
if (!empty($help)) {
    echo $help;
}
if (!empty($messages)) {
    echo $messages;
}
echo art_content_replace($content);
?>

</div>
<div class="cleared"></div>

</div>

    </div>
</div>
<?php 
if (!empty($banner4)) {
    echo '<div id="banner-4">' . $banner4 . '</div>';
}
if (!empty($user3) && !empty($user4)) {
    ?>
Beispiel #2
0
        echo '<div id="mission">' . $mission . '</div>';
    }
    if (!empty($help)) {
        echo render($help);
    }
    if (!empty($messages)) {
        echo $messages;
    }
    if (isset($action_links) && !empty($action_links)) {
        ?>
<ul class="action-links"><?php 
        print render($action_links);
        ?>
</ul><?php 
    }
    echo art_content_replace(render($content));
    ?>

</div>
<div class="cleared"></div>

</div>

		<div class="cleared"></div>
    </div>
</div>
<?php 
}
if (!empty($banner4)) {
    echo '<div id="banner4">' . render($banner4) . '</div>';
}