Я пытаюсь установить формат времени в jqGrid. Это не работает. Я хотел бы использовать предопределенный форматер в файле локали. Вот как определяется col:

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

Я пробовал несколько разных альтернатив, но это, кажется, не делает различий в сетке.