WebSocket Pepper API: make the API out of dev

ppapi/native_client/src/shared/ppapi_proxy/ppb_websocket.srpc

 # Copyright (c) 2012 The Native Client Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 #
-# RPC methods used to implement PPB_WebSocket_Dev calls from the plugin.
-# See ppapi/c/dev/ppb_websocket_dev.h for interface details.
+# RPC methods used to implement PPB_WebSocket calls from the plugin.
+# See ppapi/c/ppb_websocket.h for interface details.
 
 {
  'name': 'PpbWebSocketRpc',
  'rpcs': [
           {'name': 'PPB_WebSocket_Create',
            'inputs': [['instance', 'PP_Instance'],     # PP_Instance
                      ],
            'outputs': [['resource', 'PP_Resource'],    # PP_Resource
                       ]
           },
@@ skipping 79 matching lines @@
                        ]
           },
           {'name': 'PPB_WebSocket_GetURL',
             'inputs': [['ws', 'PP_Resource'],          # PP_Resource
                       ],
             'outputs': [['url', 'char[]'],             # PP_Var
                        ]
           }
          ]
 }