From 668147671349f3769f559f881747e86e7d47e8c7 Mon Sep 17 00:00:00 2001
From: Ms2ger <ms2ger@gmail.com>
Date: Sun, 16 Feb 2014 10:25:12 +0100
Subject: [PATCH] Use push_str instead of operator + for efficiency.

---
 src/components/script/dom/document.rs | 2 +-
 src/components/script/dom/node.rs     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/components/script/dom/document.rs b/src/components/script/dom/document.rs
index b0a9f4b34e0..37df96353a9 100644
--- a/src/components/script/dom/document.rs
+++ b/src/components/script/dom/document.rs
@@ -341,7 +341,7 @@ impl Document {
                             for child in node.children() {
                                 if child.is_text() {
                                     child.with_imm_text(|text| {
-                                        title = title + text.characterdata.Data();
+                                        title.push_str(text.characterdata.data.as_slice());
                                     });
                                 }
                             }
diff --git a/src/components/script/dom/node.rs b/src/components/script/dom/node.rs
index adf248ef07f..8150de40919 100644
--- a/src/components/script/dom/node.rs
+++ b/src/components/script/dom/node.rs
@@ -1064,7 +1064,7 @@ impl Node {
                 for node in abstract_self.traverse_preorder() {
                     if node.is_text() {
                         node.with_imm_text(|text| {
-                            content = content + text.characterdata.Data();
+                            content.push_str(text.characterdata.data.as_slice());
                         })
                     }
                 }