php convert to int

PHP
intval($string);
Source

Also in PHP: