1 files changed, 10 insertions, 1 deletions
diff --git a/Source/WebKit/chromium/public/WebVector.h b/Source/WebKit/chromium/public/WebVector.h
index cf3ec95..bb02abc 100644
--- a/Source/WebKit/chromium/public/WebVector.h
+++ b/Source/WebKit/chromium/public/WebVector.h
@@ -125,6 +125,15 @@ public:
         WEBKIT_ASSERT(i < m_size);
         return m_ptr[i];
     }
+    
+    bool contains(const T& value) const
+    {
+        for (size_t i = 0; i < m_size; i++) {
+            if (m_ptr[i] == value)
+                return true;
+        }
+        return false;
+    }
 
     T* data() { return m_ptr; }
     const T* data() const { return m_ptr; }
@@ -172,6 +181,6 @@ private:
     size_t m_size;
 };
 
-}  // namespace WebKit
+} // namespace WebKit
 
 #endif