{
global:
  webkit_*;
  WebProcessMainUnix;
  NetworkProcessMainUnix;
  PluginProcessMainUnix;
  DatabaseProcessMainUnix;
  _ZN6WebKit22WebGtkExtensionManager10initializeEPK14OpaqueWKBundlePKv;
  _ZN6WebKit22WebGtkExtensionManager9singletonEv;
local:
  webkit_media_player_debug;
  *;
};