Código PHP:
if ($osC_MessageStack->size('header') > 0) {
echo $osC_MessageStack->get('header');
}
Código PHP:
if ($osC_MessageStack->size('header') > 0)
echo $osC_MessageStack->get('header');