private function getPrettyText($comment) { $text = preg_replace('|^\\s*/?\\*+/?|m', '', $comment); return $text; }