PHP：如何将此字符串转换为另一种日期时间格式？

我将此日期时间作为字符串：Thu，2012年8月16日13:17:25+0200

我想重新格式化它，使其成为Donnerstag，16.08.2012 13:17:25（德语格式）。我尝试了格式化函数，但它抛出了一个错误。我该怎么做

date('format', strtotime('Thu, 16 Aug 2012 13:17:25 +0200'));

或

---

您需要检查setlocale函数的使用情况，有关详细信息，请参阅

您需要安装区域设置，如果此代码不起作用（例如，一切都是一样的），则您的系统中缺少这些区域设置，需要首先对其进行排序：

setlocale(LC_TIME, "C");
echo strftime("%c") . PHP_EOL;
setlocale(LC_TIME, 'be_NL');
echo strftime("%c") . PHP_EOL;
setlocale(LC_TIME, 'de_DE');
echo strftime("%c") . PHP_EOL;

strftime是支持使用locale的函数，例如负责以所选语言输出。一些与日期相关的函数不支持这一点，但是，当您检查php.net上的那些函数时，如果适用，将提到区域设置支持

setlocale(LC_TIME, "C");
echo strftime("%c") . PHP_EOL;
setlocale(LC_TIME, 'be_NL');
echo strftime("%c") . PHP_EOL;
setlocale(LC_TIME, 'de_DE');
echo strftime("%c") . PHP_EOL;