servo/servo — pull request #4096 by Ms2ger (2014-11-25 09:31:27+00:00)
Title: Adding a new webidl and websocket.rs file

Closes #3813.