| Index: sdk/lib/convert/html_escape.dart
|
| ===================================================================
|
| --- sdk/lib/convert/html_escape.dart (revision 45184)
|
| +++ sdk/lib/convert/html_escape.dart (working copy)
|
| @@ -182,7 +182,7 @@
|
| case "'": if (mode.escapeApos) replacement = '''; break;
|
| case '<': if (mode.escapeLtGt) replacement = '<'; break;
|
| case '>': if (mode.escapeLtGt) replacement = '>'; break;
|
| - case '/': if (mode.escapeSlash) replacement = '.'; break;
|
| + case '/': if (mode.escapeSlash) replacement = '/'; break;
|
| }
|
| if (replacement != null) {
|
| if (result == null) result = new StringBuffer();
|
|
|