Próximo año feliz

Mubashir necesita tu ayuda para encontrar el próximo año feliz.

Un año feliz es un año que solo tiene dígitos distintos. Crea una función que reciba un entero $year y devuelva el próximo año feliz.

Ejemplos

happyYear(2017) ➞ 2018
// 2018 tiene todos sus dígitos distintos

happyYear(1990) ➞ 2013

happyYear(2021) ➞ 2031

Notas

N/A