Enhanced JsDoc for formatTime()