[cdavoren]

I couldn't tell you directly, but it's the same format that the ExtJS docs themselves are in. I would guess that the ExtJS has some kind of documentation tool for this sort of thing.