| 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
|
|
|