public static function stripAnsiFormat($string) { return preg_replace('/\\033\\[[\\d;?]*\\w/', '', $string); }
