| Index: sdk/lib/_internal/lib/js_names.dart
|
| diff --git a/sdk/lib/_internal/lib/js_names.dart b/sdk/lib/_internal/lib/js_names.dart
|
| index 6aa3632cb49106d613b84e335a8da4d331291510..387265e5d6b38e7cb7395a48391e949e3f97a694 100644
|
| --- a/sdk/lib/_internal/lib/js_names.dart
|
| +++ b/sdk/lib/_internal/lib/js_names.dart
|
| @@ -97,3 +97,10 @@ String unmangleGlobalNameIfPreservedAnyways(String name) {
|
| var names = JS('=Object', 'init.mangledGlobalNames');
|
| return JsCache.fetch(names, name);
|
| }
|
| +
|
| +String unmangleAllIdentifiersIfPreservedAnyways(String str) {
|
| + return JS("String",
|
| + r"(#).replace(/[^<,> ]+/g,"
|
| + r"function(m) { return init.mangledGlobalNames[m] || m; })",
|
| + str);
|
| +}
|
|
|