如何在PHP中处理这种不寻常的日期时间格式？

Question

我有一个来自API的日期时间格式，格式如下：

Thu, 17 Nov 2016 19:12:12 GMT

我不确定如何在PHP中将其格式化为可以检查一小时差异的内容。问题是这不是PHP中的标准日期时间常量格式之一：http://php.net/manual/en/class.datetime.php

最后3个字母的日期和格林尼治标准时间的时区主要是在这里绊倒我。