php_repl
php_repl copied to clipboard
Various fixes from various committers
I pulled in changes from various forks on github and made my own small change (adding the setOptions function). I figured you should pull them into the main repo.