replacing is_integer() with is_int()

This commit is contained in:
dogmatic69 2012-09-15 11:15:01 +01:00
parent a38a616cba
commit aa87791432
6 changed files with 9 additions and 9 deletions

View file

@ -310,7 +310,7 @@ class CakeTime {
return false;
}
if (is_integer($dateString) || is_numeric($dateString)) {
if (is_int($dateString) || is_numeric($dateString)) {
$date = intval($dateString);
} elseif (is_object($dateString) && $dateString instanceof DateTime) {
$clone = clone $dateString;
@ -589,7 +589,7 @@ class CakeTime {
if ($dateString instanceof DateTime) {
$date = $dateString;
} elseif (is_integer($dateString) || is_numeric($dateString)) {
} elseif (is_int($dateString) || is_numeric($dateString)) {
$dateString = (int)$dateString;
$date = new DateTime('@' . $dateString);