<?php $x = array_map('intval', [1,2,3]);
You have javascript disabled. You will not be able to edit any code.