<?php $a = "12"; $a = (int) $a; var_dump($a);
You have javascript disabled. You will not be able to edit any code.