    }

      }

      customElements.define(GridFilterElement.is, GridFilterElement);

      /**
       * @namespace Vaadin
       */
      window.Vaadin = window.Vaadin || {};
      Vaadin.GridFilterElement = GridFilterElement;
    })();
  </script>
</dom-module>
