An interactive PHP shell