php 关于变量是时间戳还是已经变成特定格式的时间的判断(舍弃strtotime false判断法 php版本会出问题)

参考文档  http://php.net/manual/zh/function.ctype-digit.php

项目中有两种数据来源  两种数据来源的时间格式是不同    

之前做了测试 strtotime(时间戳)  返回false

但是今天发现了一个时间戳 1436587200 竟然返回 165059102218

so bug 产生了； 现在是用纯数字检测函数  ctype_digit  　ok

这个是个php 造成的bug   v5.6有这个问题  v7没有这个问题