text: /**
   * DevExtreme (ui/data_grid/ui.data_grid.header_filter.js)
   * Version: 18.2.5
   * Build date: Wed Jan 23 2019
   *
   * Copyright (c) 2012 - 2019 Developer Express Inc. ALL RIGHTS RESERVED
   * Read about DevExtreme licensing here: https://js.devexpress.com/Licensing/
   */
  "use strict";
  var _uiData_grid = require("./ui.data_grid.core");
  var _uiData_grid2 = _interopRequireDefault(_uiData_grid);
  var _uiGrid_core = require("../grid_core/ui.grid_core.header_filter");
  var _uiGrid_core2 = _interopRequireDefault(_uiGrid_core);
  
  function _interopRequireDefault(obj) {
      return obj && obj.__esModule ? obj : {
          "default": obj
      }
  }
  _uiData_grid2.default.registerModule("headerFilter", _uiGrid_core2.default);
  