title: how to get the server's execution time via curl
body: <p>for example, I request www.domain.com via curl in php</p>
  
  <pre><code>$curl = curl_init('http://www.domain.com');
  curl_exec($curl);
  
  var_dump(curl_getinfo($curl));
  </code></pre>
  
  <p>I can get 'total_time', 'starttransfer_time', 'connect_time',etc. but I just can't get the server's execution time (sometime, this curl request takes a lot time, but most is wasted in transfer). is it possible or I missed some parameters?</p>