php get remote file last modified

<?php<br /><br /><br /> // outputs e.g. somefile.txt was last modified: December 29 2002 22:16:23.</p><br /><br /> <p>$filename=”somefile.txt”;<br /><br /><br /> if (file_exists($filename)) {<br /><br /><br /> echo “$filename was last modified: ” . date (“F d Y H:i:s.”, filemtime($filename));<br /><br /><br /> }<br /><br /><br /> ?>