Pepper WebSocket API: Implement new design Chrome IPC

ppapi/ppapi_proxy.gypi

 # Copyright (c) 2012 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 {
   'target_defaults': {
     'variables': {
       'ppapi_proxy_target': 0,
     },
     'target_conditions': [
@@ skipping 138 matching lines @@
           'proxy/proxy_completion_callback_factory.h',
           'proxy/proxy_module.cc',
           'proxy/proxy_module.h',
           'proxy/proxy_object_var.cc',
           'proxy/proxy_object_var.h',
           'proxy/resource_creation_proxy.cc',
           'proxy/resource_creation_proxy.h',
           'proxy/url_request_info_resource.cc',
           'proxy/url_request_info_resource.h',
           'proxy/var_serialization_rules.h',
+          'proxy/websocket_resource.cc',
+          'proxy/websocket_resource.h',
+          'thunk/ppb_websocket_api.h',
+          'thunk/ppb_websocket_thunk.cc',
         ],
         'defines': [
           'PPAPI_PROXY_IMPLEMENTATION',
         ],
         'include_dirs': [
           '..',
         ],
         'target_conditions': [
           ['>(nacl_untrusted_build)==1', {
             'sources!': [
@@ skipping 13 matching lines @@
               'proxy/ppp_content_decryptor_private_proxy.cc',
               'proxy/ppp_instance_private_proxy.cc',
               'proxy/ppp_video_decoder_proxy.cc',
             ],
           }],
         ],
       }],
     ],
   },
 }