Interface Extension


public interface Extension
A simple representation of a websocket extension as a name and map of extension parameters.