2
sure enough:
function formatTimestamp($time, $format="l", $timeoffset="")
in addition to the following named date formats, $format can use any parameters the php date() function uses:
l = long date format (defined by _DATESTRING)
m = medium date format (defined by _MEDIUMDATESTRING)
s = short date format (defined by _SHORTDATESTRING)
mysql = Y-m-d H:i:s
rss = D, j M Y H:i:s T
One gotcha with the formatTimestamp function is that it will automatically display the time in the current user's timezone. If that isn't what you are looking for, I'd recommend calling the php date() function directly
PHP Date Function