Update third_party/document_image_extractor

third_party/document_image_extractor/src/element_filter.js

Index: third_party/document_image_extractor/src/element_filter.js
diff --git a/third_party/document_image_extractor/src/element_filter.js b/third_party/document_image_extractor/src/element_filter.js
index e1c812506d1864c760e7be83804e5c6b3fb02c2e..c5002bbfea5d2bab2027f20aaff9550ed0d1514c 100644
--- a/third_party/document_image_extractor/src/element_filter.js
+++ b/third_party/document_image_extractor/src/element_filter.js
@@ -2,7 +2,7 @@
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
-goog.provide('image.collections.extension.ElementFilter');
+goog.provide('image.collections.extension.domextractor.ElementFilter');
 
 goog.scope(function() {
 
@@ -12,8 +12,8 @@ goog.scope(function() {
  * An element filter interface.
  * @interface
  */
-image.collections.extension.ElementFilter = function() {};
-var ElementFilter = image.collections.extension.ElementFilter;
+image.collections.extension.domextractor.ElementFilter = function() {};
+var ElementFilter = image.collections.extension.domextractor.ElementFilter;
 
 
 /**