Use Date.getTime instead of Date.getMilliseconds in dart:js.

Use Date.getTime instead of Date.getMilliseconds in dart:js.

BUG= http://dartbug.com/14915
R=kasperl@google.com

Committed: https://code.google.com/p/dart/source/detail?r=33116

[john.collier4, 2014-02-26 15:49:34]

On 2014/02/26 12:47:32, floitsch wrote:

Looks good.

[kasperl, 2014-02-27 14:58:59]

LGTM.

https://codereview.chromium.org/180723004/diff/1/tests/lib/lib.status
File tests/lib/lib.status (right):

https://codereview.chromium.org/180723004/diff/1/tests/lib/lib.status#newcode178
tests/lib/lib.status:178: [ $runtime == vm ]
What if runtime is d8?

[floitsch, 2014-02-27 15:02:44]

https://codereview.chromium.org/180723004/diff/1/tests/lib/lib.status
File tests/lib/lib.status (right):

https://codereview.chromium.org/180723004/diff/1/tests/lib/lib.status#newcode178
tests/lib/lib.status:178: [ $runtime == vm ]
On 2014/02/27 14:58:59, kasperl wrote:
> What if runtime is d8?

I had to ask Rico, too.
Dart2js is invoked with '--allow-mock-compilation' flag. This means that
everything is compiled but not executed, when dart:html (or dart:io) is
imported.
And dart:js imports dart:html.

[floitsch, 2014-02-27 15:13:51]

Committed patchset #1 manually as r33116 (presubmit successful).

[justinfagnani, 2014-02-27 15:49:18]

On 2014/02/27 15:13:51, floitsch wrote:
> Committed patchset #1 manually as r33116 (presubmit successful).

Sorry for the late lgtm, I was sick for the last two days.