Relanding(r111754): HTMLPluginElement is not destroyed on reload or navigation if...
[WebKit-https.git] / Source / WebCore / WebCore.exp.in
index 92f453a26b37062d6b8ec4e90fe2d7f0aca9d59c..721ac4c389720583a5bbe3864fd0971e0efee585 100644 (file)
@@ -1748,6 +1748,7 @@ __ZNK7WebCore12IconDatabase9isEnabledEv
 
 #if ENABLE(INSPECTOR)
 __ZN7WebCore15InspectorClient31doDispatchMessageOnFrontendPageEPNS_4PageERKN3WTF6StringE
+__ZN7WebCore17InspectorCounters12counterValueENS0_11CounterTypeE
 __ZN7WebCore19InspectorController14enableProfilerEv
 __ZN7WebCore19InspectorController15disableProfilerEv
 __ZN7WebCore19InspectorController15profilerEnabledEv