public function highlight($string) { $output = highlight_string('<?php ' . $string, true); $output = preg_replace('!(<\\?php( ).*?)!', '', $output); return $output; }