debian/symbols.filter


1
2
3
4
5
6
7
8
9
10

{
global:
  webkit_*;
  WebProcessMainGtk;
  _ZN6WebKit22WebGtkExtensionManager10initializeEPK14OpaqueWKBundlePKv;
  _ZN6WebKit22WebGtkExtensionManager6sharedEv;
local:
  webkit_media_player_debug;
  *;
};