Ran ppapi/generators/generator.py

ppapi/thunk/ppb_websocket_thunk.cc

 // 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.
 
-// From ppb_websocket.idl modified Mon May  6 10:11:29 2013.
-
-#include <stdint.h>
+// From ppb_websocket.idl modified Tue Mar 25 14:43:09 2014.
 
 #include "ppapi/c/pp_completion_callback.h"
 #include "ppapi/c/pp_errors.h"
 #include "ppapi/c/ppb_websocket.h"
 #include "ppapi/shared_impl/tracked_callback.h"
 #include "ppapi/thunk/enter.h"
 #include "ppapi/thunk/ppapi_thunk_export.h"
 #include "ppapi/thunk/ppb_websocket_api.h"
 
 namespace ppapi {
@@ skipping 138 matching lines @@
                                                      &GetURL};
 
 }  // namespace
 
 PPAPI_THUNK_EXPORT const PPB_WebSocket_1_0* GetPPB_WebSocket_1_0_Thunk() {
   return &g_ppb_websocket_thunk_1_0;
 }
 
 }  // namespace thunk
 }  // namespace ppapi