WordPressの投稿日付を英語で表示する|the_date()⇒get_post_time()

WordPressで日付表示をするときは普通the_date()やthe_time()を使います。日付の書式はphpのdate関数に順ずることになっていますが、言語が日本語設定の場合は曜日が強制的に日本語になってしまいます。例えば、

2011.12.01 thu

と表示したくて

<?php the_date('Y.m.d D'); ?>

と書いても、表示は以下のようになります。

2011.12.01 木

その場合の対策をいくつか。

ファイルを直接修正する。

WordPress の月および曜日を英語表記にする

これは結構古いエントリーですが、ググると今でも上のほうに出てくるということは割と一般的なやり方なんでしょうか。
でもこれプログラムのファイルを修正してしまうので、若干敷居が高いのと、アップデートした際や諸々ちょっと不都合があるかもしれません。

プラグインを使う

日本語版WordPressの曜日・月表記を英語にする方法

英語表記に直すプラグインを作ってくださってる方がいました。
アップロードして有効化するだけでOK。
現状の最新版であるWP3.2.1でも特に問題なく動作しました。

get_post_time()を使う

<?php echo get_post_time('Y.m.d D'); ?>

get_post_time()という関数で値を取得して、それをechoで表示する方法です。
これだとプログラム側をどこもいじらないし、僕は楽だなーと思いました。

たぶんどの方法にも一長一短あるのだと思います。
状況に合わせて使っていきたいです。