Formatuj czas w jqGrid

Próbuję ustawić format czasu w jqGrid. To nie działa. Chciałbym użyć predefiniowanego formatera w pliku ustawień regionalnych. W ten sposób definiuje się col:

          { name: 'Tid', index: 'Tid', width: 65, editable: true, formatoptions: { mask: 'ShortTime' }, editrules: { time: true} }

Próbowałem kilku różnych alternatyw, ale wydaje się, że nie robi to różnicy w siatce.