Does anyone know a input mask or formatter that coerces correctly formatted time values? I've looked into cleave.js which I like and used before but it has no time formatter option.