private static function arrayUnique($array) { $_ = []; foreach ($array as $a) { $_[$a] = 1; } return array_keys($_); }