Personally I would use array_unique()
, since it does exactly what you want. This native method is developed for this exact goal, you can assume it will have the best performance.
Native functions are usually faster then any function you can create yourself. And even if it's not, future updates of the language (php) will be able to improve performance.
That being said: array_search is quite heavy, so depending on the size of your array it might be slow as hell to use in this case.