REPL script for PHP