PHP REPL and other stuff