[wp-hackers] get_the_time(), get_post_time()

[jeff at jrm.cc]

Michael D.Adams wrote:
> Is there some utility that I'm missing here?

It is most likely a deprecated function from 1.2 or previous. Useful so 
that old themes will still work.

Jeff Minard