update library mapping

update library mapping
Committed: https://code.google.com/p/dart/source/detail?r=11339

[danrubel, 2012-08-23 17:48:32]

* add platforms
* change internal --> documented

[keertip, 2012-08-23 18:03:11]

lgtm

https://chromiumcodereview.appspot.com/10876045/diff/1/lib/_internal/librarie...
File lib/_internal/libraries.dart (right):

https://chromiumcodereview.appspot.com/10876045/diff/1/lib/_internal/librarie...
lib/_internal/libraries.dart:84: platforms: VM_PLATFORM),
Add documented: false? Currently file shows up as part of dart:html

[danrubel, 2012-08-23 18:12:02]

https://chromiumcodereview.appspot.com/10876045/diff/1/lib/_internal/librarie...
File lib/_internal/libraries.dart (right):

https://chromiumcodereview.appspot.com/10876045/diff/1/lib/_internal/librarie...
lib/_internal/libraries.dart:84: platforms: VM_PLATFORM),
On 2012/08/23 18:03:11, keertip wrote:
> Add documented: false? Currently file shows up as part of dart:html

Good point. Done.

[Lasse Reichstein Nielsen, 2012-09-12 10:19:54]

https://chromiumcodereview.appspot.com/10876045/diff/5001/lib/_internal/libra...
File lib/_internal/libraries.dart (right):

https://chromiumcodereview.appspot.com/10876045/diff/5001/lib/_internal/libra...
lib/_internal/libraries.dart:35: platforms: 0),
drive-by-after-the-fact-comment: Consider making NO_PLATFORM=0 a constant. It
might be a little much for one use, but magic constants suck :)

https://chromiumcodereview.appspot.com/10876045/diff/5001/lib/_internal/libra...
lib/_internal/libraries.dart:170: bool isDart2JsLibrary() => (platforms &
DART2JS_PLATFORM) != 0;
You could even use the NO_PLATFORM for the zeros here.