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