This function converts the value time, as returned by time or file_mtime, into a string of the form produced by time_date. If the optional argument gmt is specified and non-zero, the time is returned in gmt. Otherwise, the time is given in the local time zone.