php array map cast to int
snippet in php

php array map cast to int

user6256

$integerIDs = array_map('intval', explode(',', $string));