[#73] Replace getMicroTime method with standard PHP microtime