| Index: webkit/api/public/WebNotification.h
|
| diff --git a/webkit/api/public/WebNotification.h b/webkit/api/public/WebNotification.h
|
| old mode 100644
|
| new mode 100755
|
| index 3d96c4861ddceac8ad777d3c4038bde7e80eb3ed..fb6cd6df0352eb6ef8bd1132da09558e85a5bd86
|
| --- a/webkit/api/public/WebNotification.h
|
| +++ b/webkit/api/public/WebNotification.h
|
| @@ -56,7 +56,9 @@ namespace WebKit {
|
|
|
| WebNotification& operator=(const WebNotification& other) { assign(other); return *this; }
|
|
|
| + // Operators required to put WebNotification in an ordered map.
|
| bool equals(const WebNotification& other) const { return m_private == other.m_private; }
|
| + bool lessThan(const WebNotification& other) const;
|
|
|
| // Is the notification HTML vs. icon-title-text?
|
| WEBKIT_API bool isHTML() const;
|
| @@ -101,6 +103,11 @@ namespace WebKit {
|
| return !a.equals(b);
|
| }
|
|
|
| + inline bool operator<(const WebNotification& a, const WebNotification& b)
|
| + {
|
| + return a.lessThan(b);
|
| + }
|
| +
|
| } // namespace WebKit
|
|
|
| #endif
|
|
|