It's been a while now since I first looked up for an interactive PHP shell. There quite a lot of projects in the wild, such as PHP_Shell, PHPInteractiveTerminal, iphp, phpsh, etc, but none that would actually satisfy me (either they didn't fulfill my requirements or they were only toy projects...