I've seen code that takes a SimpleXMLElement object and casts it to array, eg.
$sxe = simplexml_load_file($file);
$arr = (array)$sxe;
but I can't find any PHP documentation for the (array) part.
Can anyone point me in the right direction? Thanks.