declare namespace Ext.grid.filters.filter {
    export class Number extends Ext.grid.filters.filter.TriFilter  {
        public emptyText?: string;
        public fields?: object;
    }
}