Description:
------------
---
From manual page: http://www.php.net/function.settype
---
The version is actually 5.3.5 but is not in the dropdown


When using settype on an integer it will not respond as an integer in is_int.

Test script:
---------------
$z = 5;    //int by default
$z = settype($z,"int");    //unneeded but shows bug
if (is_int($z)) {
    echo "int";
} else {
    echo "not int"; 
}

//output: not int

use instead:
$z = intval($z);  //output: int


Expected result:
----------------
int

Actual result:
--------------
not int