Hola de nuevo.
Me habías liado con eso de <div>, ya que estás usando una etiqueta que ya EXISTE en HTML. A diferencia de tu ejemplo, en el foro se ha creado esa nueva etiqueta de [ PHP ].
Podrías simplemente reemplazar con str_replace
Código PHP:
$variable_donde_tienes_todo = str_replace ("[ PHP]", eval("highlight_string("), $variable);
$variable_donde_tienes_todo = str_replace ("[ /PHP]", eval(")"), $variable);
No tengo tiempo ahora, pero espero haberte dado alguna idea.
www.php.net/str_replace