Dateiänderungsdatum auslesen?

[SebastianJu]

Sicherheitshalber habe ich es jetzt so umgebaut: ~~~php   $curl = curl_init();
  curl_setopt($curl, CURLOPT_URL, 'http://downloads.hotelscombined.com/IndexFiles/HotelListXML.zip');
  curl_setopt($curl, CURLOPT_FILETIME, true);
  curl_setopt($curl, CURLOPT_NOBODY, true);
  curl_setopt($curl, CURLOPT_RETURNTRANSFER, true);
  curl_exec($curl);
  $info = curl_getinfo($curl);
  curl_close($curl);

echo '<pre>',print_r($info),'</pre>';
  echo gmdate('d.m.Y G:i:s', $info['filetime'])