php-boris repl commint buffer