devextreme/ui/data_grid/ui.data_grid.header_filter.js

HTML5 JavaScript Component Suite for Responsive Web Development

/**
 * DevExtreme (ui/data_grid/ui.data_grid.header_filter.js)
 * Version: 18.1.3
 * Build date: Tue May 15 2018
 *
 * Copyright (c) 2012 - 2018 Developer Express Inc. ALL RIGHTS RESERVED
 * Read about DevExtreme licensing here: https://js.devexpress.com/Licensing/
 */

"use strict";
var core = require("./ui.data_grid.core"),
    headerFilterModule = require("../grid_core/ui.grid_core.header_filter");
core.registerModule("headerFilter", headerFilterModule);