php-boris repl commint buffer
Merge pull request #781 from tomterl/master

php-boris boris php repl as commint buffer