Comment formater une quantité de millisecondes en minutes: secondes: millisecondes en PHP?

J'ai un montant total de millisecondes (c'est à dire 70370) et je veux l'afficher en minutes:secondes:millisecondes ie 00:00:0000.

Comment puis-je faire cela en PHP?

source d'informationauteur designvoid