Changeset 180884 in webkit

Timestamp:

Mar 2, 2015 7:34:25 AM (9 years ago)

Author:

commit-queue@webkit.org

Message:

REGRESSION(r179409): [GTK] Undefined symbol prevents web extensions from being loaded
​https://bugs.webkit.org/show_bug.cgi?id=142165

Patch by Debarshi Ray <​debarshir@gnome.org> on 2015-03-02
Reviewed by Carlos Garcia Campos.

• Source/cmake/gtksymbols.filter:

Location:

trunk

Files:

• ChangeLog (modified) (1 diff)
• Source/cmake/gtksymbols.filter (modified) (1 diff)

trunk/ChangeLog

@@ +1 @@
+2015-03-02  Debarshi Ray  <debarshir@gnome.org>
+
+        REGRESSION(r179409): [GTK] Undefined symbol prevents web extensions from being loaded
+        https://bugs.webkit.org/show_bug.cgi?id=142165
+
+        Reviewed by Carlos Garcia Campos.
+
+        * Source/cmake/gtksymbols.filter:
+
 2015-02-26  Csaba Osztrogonác  <ossy@webkit.org>
 

trunk/Source/cmake/gtksymbols.filter

@@ -6 +6 @@
   PluginProcessMainUnix;
   _ZN6WebKit22WebGtkExtensionManager10initializeEPK14OpaqueWKBundlePKv;
-  _ZN6WebKit22WebGtkExtensionManager6sharedEv;
+  _ZN6WebKit22WebGtkExtensionManager9singletonEv;
 local:
   webkit_media_player_debug;