praiadeseselle/site/templates/portada.php

<?php namespace ProcessWire;

$mantemento = $inicio->mantemento;

if($mantemento && !$user->isLoggedin())
{
    $menu = '';
    $menu = renderMenu($inicio, 0, 'paxinas');
    $contido = '';

    if(count($inicio->seccion_destacada))
    {
        $contido .= getSeccions($inicio->seccion_destacada, true);
    }
}
else
{
    $menu = renderMenu($inicio->and($inicio->children), 0, 'paxinas');
    $contido = '';
}