diff options
Diffstat (limited to 'src/components/script/dom/document.rs')
| -rw-r--r-- | src/components/script/dom/document.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/components/script/dom/document.rs b/src/components/script/dom/document.rs index 0de44abd566..b123b169d67 100644 --- a/src/components/script/dom/document.rs +++ b/src/components/script/dom/document.rs @@ -610,7 +610,8 @@ impl Document { // TODO: support the case if multiple elements // which haves same id are in the same document. - // This would use mangle(), but some dumbass removed it. + // FIXME https://github.com/mozilla/rust/issues/13195 + // Use mangle() when it exists again. match self.idmap.find_mut(&id) { Some(v) => { *v = element.clone(); |