private static function remove_decorations($comment)
{
$comment = preg_replace('|^/\\*\\*[\\r\\n]+|', '', $comment);
$comment = preg_replace('|\\n[\\t ]*\\*/$|', '', $comment);
$comment = preg_replace('|^[\\t ]*\\* ?|m', '', $comment);
return $comment;
}