if (post_has_edit())
    the_modified_time();
else
    the_time();