Index: ppapi/native_client/src/shared/ppapi_proxy/browser_globals.cc |
diff --git a/ppapi/native_client/src/shared/ppapi_proxy/browser_globals.cc b/ppapi/native_client/src/shared/ppapi_proxy/browser_globals.cc |
index 06b18432b9877158daa24cb71cdc394fdc9baa0b..267fac56d20c50fa63e1cecb49c1fa42e1834581 100644 |
--- a/ppapi/native_client/src/shared/ppapi_proxy/browser_globals.cc |
+++ b/ppapi/native_client/src/shared/ppapi_proxy/browser_globals.cc |
@@ -409,6 +409,13 @@ const PPB_View* PPBViewInterface() { |
return ppb; |
} |
+const PPB_WebSocket_Dev* PPBWebSocketInterface() { |
+ static const PPB_WebSocket_Dev* ppb = |
+ static_cast<const PPB_WebSocket_Dev*>( |
+ GetBrowserInterfaceSafe(PPB_WEBSOCKET_DEV_INTERFACE)); |
+ return ppb; |
+} |
+ |
const PPB_Widget_Dev* PPBWidgetInterface() { |
static const PPB_Widget_Dev* ppb = |
static_cast<const PPB_Widget_Dev*>( |