Miscellany

<?php
if /*((!isset($boxContent)) && */($boxContent != null) 
{
$text .= $boxContent;
echo $text;
}
?>