Adding a new webidl and websocket.rs file
Merge branch 'master' of https://github.com/hinalimarfatia/servo