How to randomize an array in PHP

I have an array like this $arr = [1,2,4,5,6,7,8,9] but I need a random version of this array, I was using the function shuffle like this $random = shuffle($arr) but this function just returns true and not a random version of the array.