php-colorer is a stub port
