'); // TODO: Add a simple and nicer divider. if(!is_null($iconId)) { echo(''); } echo($text); if(!is_null($rightText)) { echo('' . $rightText . ''); } echo('