I've got the exact same function (also php) but mine is called print_arr() as in array.