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 |