WebSocket Pepper API: make the API out of dev

ppapi/thunk/ppb_websocket_api.h

Index: ppapi/thunk/ppb_websocket_api.h
diff --git a/ppapi/thunk/ppb_websocket_api.h b/ppapi/thunk/ppb_websocket_api.h
index 867550d690aa94631f221cc9174d542b049f2e4e..c769cecc567f0037702a5601c451eddfed904de8 100644
--- a/ppapi/thunk/ppb_websocket_api.h
+++ b/ppapi/thunk/ppb_websocket_api.h
@@ -6,7 +6,7 @@
 #define PPAPI_THUNK_WEBSOCKET_API_H_
 
 #include "ppapi/c/pp_completion_callback.h"
-#include "ppapi/c/dev/ppb_websocket_dev.h"
+#include "ppapi/c/ppb_websocket.h"
 
 namespace ppapi {
 namespace thunk {
@@ -31,7 +31,7 @@ class PPB_WebSocket_API {
   virtual PP_Bool GetCloseWasClean() = 0;
   virtual PP_Var GetExtensions() = 0;
   virtual PP_Var GetProtocol() = 0;
-  virtual PP_WebSocketReadyState_Dev GetReadyState() = 0;
+  virtual PP_WebSocketReadyState GetReadyState() = 0;
   virtual PP_Var GetURL() = 0;
 };