Use correct annotation for JS names

Use correct annotation for JS names

Did we switch from "@JS" to "@JsName"?

R=jacobr@google.com

Committed: https://github.com/dart-lang/dev_compiler/commit/b40b804a1e1bb5175129a984ca0b03788a8ec9f6

[vsm, 2016-04-22 19:54:52]

Description was changed from

==========
Use correct annotation for JS names

Did we switch from "@JS" to "@JsName"?
==========

to

==========
Use correct annotation for JS names

Did we switch from "@JS" to "@JsName"?
==========

[vsm, 2016-04-22 19:54:52]

vsm@google.com changed reviewers:
+ jacobr@google.com

[Jacob, 2016-04-25 14:50:39]

We need to support both. 
@JsName is what dart2js uses internally.
@JS is the publicly exposed annotation in dart:js/package:js

[vsm, 2016-04-25 14:52:43]

On 2016/04/25 14:50:39, Jacob wrote:
> We need to support both. 
> @JsName is what dart2js uses internally.
> @JS is the publicly exposed annotation in dart:js/package:js

Should I be checking for both in each of these 3 cases?

[vsm, 2016-04-25 15:26:54]

On 2016/04/25 14:52:43, vsm wrote:
> On 2016/04/25 14:50:39, Jacob wrote:
> > We need to support both. 
> > @JsName is what dart2js uses internally.
> > @JS is the publicly exposed annotation in dart:js/package:js
> 
> Should I be checking for both in each of these 3 cases?

PTAL - supporting both now.

[Jacob, 2016-04-25 15:32:06]

lgtm

[vsm, 2016-04-25 15:34:00]

Description was changed from

==========
Use correct annotation for JS names

Did we switch from "@JS" to "@JsName"?
==========

to

==========
Use correct annotation for JS names

Did we switch from "@JS" to "@JsName"?

R=jacobr@google.com

Committed:
https://github.com/dart-lang/dev_compiler/commit/b40b804a1e1bb5175129a984ca0b...
==========

[vsm, 2016-04-25 15:34:02]

Committed patchset #2 (id:20001) manually as
b40b804a1e1bb5175129a984ca0b03788a8ec9f6 (presubmit successful).