php 时间转换，麻烦大佬来格式化下 [ 2.0 版本 ]

<?php
$datetime = DateTime::createFromFormat('D M j H:i:s Y', 'Thu Feb 14 12:18:39 2019');
echo $datetime->getTimestamp(), PHP_EOL;

echo strtotime('Thu Feb 14 12:18:39 2019');
?>