[Gedalya]

I am new to writing addons. I have seen the following function in use in an existing addon:
GetFrameTimeMilliseconds()

It is not clear from context what it does; I also see no relevant information online. The Wiki for example has it listed among other functions but it lacks any annotation.

Thank you for your time.