/**
 * DevExtreme (esm/__internal/grids/tree_list/module_not_extended/header_filter.js)
 * Version: 22.2.6 (build 23123-0308)
 * Build date: Wed May 03 2023
 *
 * Copyright (c) 2012 - 2023 Developer Express Inc. ALL RIGHTS RESERVED
 * Read about DevExtreme licensing here: https://js.devexpress.com/Licensing/
 */
import {
    headerFilterModule
} from "../../../../ui/grid_core/ui.grid_core.header_filter";
import core from "../module_core";
core.registerModule("headerFilter", headerFilterModule);
