added a shell in the PHP-syntax chapter.