$code) {
                if($line!==$data['line'])
                    echo CHtml::encode(sprintf("%05d: %s",$line,str_replace("\t",'    ',$code)));
                else {
                    echo "
";
                    echo CHtml::encode(sprintf("%05d: %s",$line,str_replace("\t",'    ',$code)));
                    echo "
";
                }
            }
        }
        ?>