Php method for obtaining the current time in milliseconds

Php does not provide a function that returns the number of milliseconds, but provides a microtime () function. with this function, it is easy to define a function that returns milliseconds. php itself does not provide a function that returns milliseconds, but provides a microtime () function that returns an array containing two elements, one is the number of seconds and the other is the number of milliseconds in decimal places. with this function, you can easily define a function that returns the number of milliseconds. for example:
The code is as follows:
Function getMillisecond (){
List ($ s1, $ s2) = explode ('', microtime ());
Return (float) sprintf ('%. 0f', (floatval ($ s1) + floatval ($ s2) * 1000 );
}

Note that in a 32-bit system, the maximum int value of php is much smaller than the number of milliseconds, so the int type cannot be used, but php does not have the long type, so it must be represented by a floating point number. Because floating point numbers are used, if the precision setting is incorrect, the obtained result may be incorrect when echo is used. to view the correct output result, the precision setting cannot be less than 13 characters.