/** * Convert ANSI terminal color codes to HTML-code. * * @param string $text * @return string */ public static function colorize($text) { return '<span>' . preg_replace_callback("/\\[([\\d;]*)m/", function ($m) { return '</span>' . Curry_Console::colorizeTag($m[1]); }, $text) . "</span>"; }