Convert Execution time to Milliseconds

I have coded something that reads the millisecond time value but i would also like to give the option to use the default php max execution time however its in seconds and not formatted to milliseconds:

$max_time = ini_get('max_execution_time');
PHP:
That will get you the current set max execution time.. the only problem i have is its in seconds e.g 30 but i need it formatted as milliseconds.. anyone got a simple format/convert?

from PHP http://ift.tt/1qjSOzV
via IFTTT
Previous
Next Post »
Thanks for your comment