3.8RC1-jaのダッシュボード「アクティビティ」の投稿日時の表記

翻訳などもろもろお疲れ様です。

3.8RC1-jaのダッシュボードにある「アクティビティ」ウィジェット内に最新の投稿情報が表示されるかと思いますが、投稿日時表示が英語フォーマットの「Sep 5th, 1:50」のような形式で表示されています。
/wp-admin/includes/dashboard.php の dashboard_relative_date関数の2日以上前の場合に国際化対応していないことが原因だと思います。
return date( 'M jS', $time);

日付日時の短縮形がないので、get_option( 'date_format' )を利用するのが妥当なのか判断できないのですが、何らかの対応が必要なのではと思います。