PHP-Web-Shell PHP REPL Web shell Todo : Create online console Add support for docker Add PHP Koans Use boris for REPL Adding Vagrant Support