将php周转数（小时）转换为php日期和时间格式

如果我有以下格式的小时数： 凌晨2:30我怎样才能把它变成： 14:30:00

如果我得到了日期2013-07-17和时间14:30:00，我怎么能把它转换成数据时间戳？ 例如，这将产生：1374053400

---

谢谢。

您尝试过在此网站上搜索吗？：）

第二个问题与此非常相似：

关于第一个问题，答案在php官方文档中：

---

上午是中午之前，而不是之后

这就是我要做的：

$timeString = '2:30 am';
$dateString = '2013-07-17';
$timeZone = new DateTimeZone('Europe/London');
$date = new DateTime($dateString . ' ' . $timeString, $timeZone);

echo $date->format('H:i:s'); // 02:30:00
echo $date->getTimestamp(); // the timestamp as int

---

这个问题已经得到了回答：谢谢，我已经搜索了，我还没有找到，我必须搜索错误的东西。