使用PHP将ANSI转义序列转换为HTML

这是与 this one类似的问题.我想将ANSI转义序列(特别是颜色)转换为HTML.但是,我想用PHP完成这个.是否有任何库或示例代码可以执行此操作？如果没有,任何可以让我参与自定义解决方案的东西？

我不知道PHP中的任何这样的库.但是如果你有一个有限颜色的一致输入,你可以使用一个简单的str_replace()完成它：

$dictionary = array(
    'ESC[01;34' => '<span style="color:blue">','ESC[01;31' => '<span style="color:red">','ESC[00m'   => '</span>',);
$htmlString = str_replace(array_keys($dictionary),$dictionary,$shellString);