Change #library("dom") to #library("dart:dom_deprecated") .

Change #library("dom") to #library("dart:dom_deprecated") .
Change #library("html") to #library("dart:html") .

Fix issue 4194.
Committed: https://code.google.com/p/dart/source/detail?r=9919

[Jennifer Messerly, 2012-07-25 23:21:16]

On 2012/07/25 23:18:52, dgrove wrote:

does it really make sense to have the names be "dart:foo"? we don't name
libraries "package:bar" even though that's how you import them, instead we name
them #library('bar')

anyway if so then all of these would need to be changed right?
http://api.dartlang.org/

regarding dart:dom, I thought it was unused at this point?

[Siggi Cherem (dart-lang), 2012-07-25 23:40:06]

lgtm to fix the problems, but I agree with John

[Johnni Winther, 2012-07-26 06:14:56]

On 2012/07/25 23:21:16, John Messerly wrote:
> On 2012/07/25 23:18:52, dgrove wrote:
> 
> does it really make sense to have the names be "dart:foo"? we don't name
> libraries "package:bar" even though that's how you import them, instead we
name
> them #library('bar')
> 
> anyway if so then all of these would need to be changed right?
> http://api.dartlang.org/
> 
> regarding dart:dom, I thought it was unused at this point?

All libraries recognized by dart2js have been updated to use the dart: prefix in
https://chromiumcodereview.appspot.com/10809035/. This change has not been
deployed into api.dartlang.org yet.