function phabricator_datetime($epoch, $user) { return phabricator_format_local_time($epoch, $user, pht('%s, g:i A', _phabricator_date_format($epoch))); }
function phabricator_datetime($epoch, $user) { return phabricator_format_local_time($epoch, $user, _phabricator_date_format($epoch) . ', g:i A'); }