<?php
$tags = array("start" => "[highlight]", "finish" => "[/highlight]");
$text = 'Some normal text. [highlight]<?php echo $somedata; ?>[/highlight] Some normal text.';
$start = strpos($text,$tags['start']);
$finish = strpos($text,$tags['finish']);
$code = substr($text,$start+strlen($tags['start']),($finish-($start+strlen($tags['start']))));
$highlighted = highlight_string($code,true);
$text = str_replace($code,"¬",$text);
$text = str_replace("¬",$highlighted,$text);
$text = str_replace($tags['start'],"",$text);
$text = str_replace($tags['finish'],"",$text);
echo $text.'<br />';
preferences:
61.73 ms | 402 KiB | 5 Q