Qualcuno mi saprebbe dire come ottenere il valore corrente dei millisecondi in php? Ho cercato su manuali e internet ma non ho trovato nulla. Grazie a chi mi dà una mano!