the_time_modified plugin

I’ve written a really simple plugin that adds a function called the_time_modified to wordpress. It works exactly the same as the_time, except that rather than returning the time a post was published it returns the last time it was modified. I thought someone else might have already done this but I can’t seem to find anything. So if you’re interested, get it here.