Constant WS_CHANNEL_PROPERTY_CUSTOM_HTTP_PROXY 

pub const WS_CHANNEL_PROPERTY_CUSTOM_HTTP_PROXY: WS_CHANNEL_PROPERTY_ID;