Index: third_party/document_image_extractor/third_party/src/element_filter.js |
diff --git a/third_party/document_image_extractor/third_party/src/element_filter.js b/third_party/document_image_extractor/third_party/src/element_filter.js |
deleted file mode 100644 |
index c86bf1526b4212710682eb0e1479f5fe2de05286..0000000000000000000000000000000000000000 |
--- a/third_party/document_image_extractor/third_party/src/element_filter.js |
+++ /dev/null |
@@ -1,21 +0,0 @@ |
-goog.provide('image.collections.extension.ElementFilter'); |
- |
-goog.scope(function() { |
- |
- |
- |
-/** |
- * An element filter interface. |
- * @interface |
- */ |
-image.collections.extension.ElementFilter = function() {}; |
-var ElementFilter = image.collections.extension.ElementFilter; |
- |
- |
-/** |
- * Returns true iff the element passes the filter. |
- * @param {!Element} element |
- * @return {boolean} |
- */ |
-ElementFilter.prototype.filter = function(element) {}; |
-}); // goog.scope |