Solo una pregunta rápida sobre el almacenamiento del "tiempo" en una base de datos. Estoy registrando el tiempo de ejecución de los usuarios en el formato 00: 00: 00: 00 (horas, minutos, segundos, milisegundos). Originalmente lo iba a almacenar, TIMEpero luego me di cuenta de que MySQL no admite...