Update docs-manual, the core of Pusher is the HTML5 WebSocket protocol
Merge pull request #18 from matsuo/websocket

Update docs-manual, the core of Pusher is the HTML5 WebSocket protocol
Add the soft-delete key in the reference of definition file
Add link to the repository of pusher-php-server
Merge pull request #19 from matsuo/add-link-for-pusher

Add link to the repository of pusher-php-server
Seed page for inter-mediator.org
small modifications