PHP日期格式

我有以下格式：

Thu Feb 11 2010 00:00:00 GMT+0100 (CET)

我的问题:

如何将此日期格式化为PHP中的这种格式：

2010:01:01 00:00:00 (Datetime)

使用strotime（）：

有关datetime对象的详细信息，请参见和

我还必须指出，您的初始字符串没有遵循任何正确的格式。CET或GMT。。。这有很大的区别

$s = strtotime("Thu Feb 11 2010 00:00:00 GMT+0100 (CET)");
$s = date("Y-m-d H:i:s",$s);
echo $s; //2010-02-11 00:00:00

$date = new \DateTime('Thu Feb 11 2010 00:00:00 GMT+0100 (CET)');
$formatedDate = $date->format('Y:m:d H:i:s');