ieure/php_repl — pull request #5 by pmeth (2012-11-07 17:14:39+00:00)
Title: 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.