mirror of
https://github.com/servo/servo.git
synced 2025-06-24 17:14:33 +01:00
Remove the needless comment for document.getElementById.
This commit is contained in:
parent
aa36ae62cd
commit
25e6366efc
2 changed files with 1 additions and 3 deletions
|
@ -675,8 +675,6 @@ impl Document {
|
|||
node.is_in_doc()
|
||||
});
|
||||
|
||||
// TODO: support the case if multiple elements
|
||||
// which haves same id are in the same document.
|
||||
// FIXME https://github.com/mozilla/rust/issues/13195
|
||||
// Use mangle() when it exists again.
|
||||
match self.idmap.find_mut(&id) {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue