An interactive shell for php