'; echo "\n\t"; } ?> <?php echo htmlspecialchars(SERVICE_NAME); ?> • <?php echo htmlspecialchars(SERVICE_DESC); ?>

'.T_("Notice").''.htmlentities($text_notice).''; // Echo the notice echo('
'.$text_notice.'
'); } ?>