| Index: public/web/WebSettings.h
|
| diff --git a/public/web/WebSettings.h b/public/web/WebSettings.h
|
| index 3897b84aa7c221ac2327ac103742151560a71498..7efd52582f85627253bff768c2f3e498e2f953b4 100644
|
| --- a/public/web/WebSettings.h
|
| +++ b/public/web/WebSettings.h
|
| @@ -154,7 +154,6 @@ public:
|
| virtual void setPinchOverlayScrollbarThickness(int) = 0;
|
| virtual void setPinchVirtualViewportEnabled(bool) = 0;
|
| virtual void setPluginsEnabled(bool) = 0;
|
| - virtual void setPrivilegedWebGLExtensionsEnabled(bool) = 0;
|
| virtual void setRenderVSyncNotificationEnabled(bool) = 0;
|
| virtual void setReportScreenSizeInPhysicalPixelsQuirk(bool) = 0;
|
| virtual void setSansSerifFontFamily(const WebString&, UScriptCode = USCRIPT_COMMON) = 0;
|
|
|