| Index: Source/core/page/NavigatorBase.h
|
| diff --git a/Source/core/page/NavigatorBase.h b/Source/core/page/NavigatorBase.h
|
| index cb6c81f085d31f0813d59fc42cb4f76a0b498fae..38ae2660553ee535ffef83b5ccb2d4f80602868a 100644
|
| --- a/Source/core/page/NavigatorBase.h
|
| +++ b/Source/core/page/NavigatorBase.h
|
| @@ -30,18 +30,13 @@
|
|
|
| namespace WebCore {
|
|
|
| - class NavigatorBase {
|
| - public:
|
| - virtual String userAgent() const = 0;
|
| +class NavigatorBase {
|
| +public:
|
| + virtual String userAgent() const = 0;
|
|
|
| - // FIXME: The following should be moved to NavigatorID and
|
| - // exposed on WorkerNavigator as well.
|
| - String appCodeName() const;
|
| - String product() const;
|
| -
|
| - protected:
|
| - virtual ~NavigatorBase();
|
| - };
|
| +protected:
|
| + virtual ~NavigatorBase() { }
|
| +};
|
|
|
| } // namespace WebCore
|
|
|
|
|