- From: Rob Marshall <rdm@rdmsoft.com>
- Date: Wed, 27 Jun 2007 20:14:42 +0100
- To: a@simongrant.org
- CC: public-html@w3.org
Simon Grant wrote: > In the HTML 5 W3C Editor's Draft 23 June 2007 > http://dev.w3.org/cvsweb/~checkout~/html5/spec/Overview.html?content-type=text/html;%20charset=iso-8859-1#documents > > I was dismayed to find a ghastly local practice for the date in 2.1.2. > [...] I don't think it's safe to change document.lastModified, but I agree it's a terrible format. If it's still useful, perhaps a new attribute could be added that returns the last modified date as a DOMTimeStamp? -- Rob Marshall [tH]
Received on Thursday, 28 June 2007 12:15:55 UTC