Should probably use Drupal's format_date() (http://api.drupal.org/api/drupal/includes!common.inc/function/format_date/7), so it uses whatever format is configured for the site.