protected static function ignoreIndent($line) { return trim(preg_replace('`\\s+`', ' ', str_replace(' >', '>', strtr($line, '"', "'")))); }