- print_r: documentation ( source)
- explode: documentation ( source)
<?php
$array = ['INTEGER: 72'];
$new_array = [];
foreach($array as $a)
{
$explode = explode(": ",$a);
$new_array[] = $explode[1];
}
print_r($new_array);
?>