| Index: content/renderer/renderer_webkitplatformsupport_impl.h
|
| ===================================================================
|
| --- content/renderer/renderer_webkitplatformsupport_impl.h (revision 212672)
|
| +++ content/renderer/renderer_webkitplatformsupport_impl.h (working copy)
|
| @@ -87,6 +87,8 @@
|
| unsigned key_size_index,
|
| const WebKit::WebString& challenge,
|
| const WebKit::WebURL& url);
|
| + virtual void getPluginList(bool refresh,
|
| + WebKit::WebPluginListBuilder* builder);
|
| virtual void screenColorProfile(WebKit::WebVector<char>* to_profile);
|
| virtual WebKit::WebIDBFactory* idbFactory();
|
| virtual WebKit::WebFileSystem* fileSystem();
|
| @@ -123,8 +125,6 @@
|
| virtual WebKit::WebBlobRegistry* blobRegistry();
|
| virtual void sampleGamepads(WebKit::WebGamepads&);
|
| virtual WebKit::WebString userAgent(const WebKit::WebURL& url);
|
| - virtual void GetPlugins(bool refresh,
|
| - std::vector<webkit::WebPluginInfo>* plugins) OVERRIDE;
|
| virtual WebKit::WebRTCPeerConnectionHandler* createRTCPeerConnectionHandler(
|
| WebKit::WebRTCPeerConnectionHandlerClient* client);
|
| virtual WebKit::WebMediaStreamCenter* createMediaStreamCenter(
|
|
|