Migrate WTF::Vector::append() to ::push_back() [part 7 of N]

third_party/WebKit/Source/core/html/HTMLElement.cpp

 /*
  * Copyright (C) 1999 Lars Knoll (knoll@kde.org)
  *           (C) 1999 Antti Koivisto (koivisto@kde.org)
  * Copyright (C) 2004-2008, 2013, 2014 Apple Inc. All rights reserved.
  * Copyright (C) 2009 Torch Mobile Inc. All rights reserved.
  * (http://www.torchmobile.com/)
  * Copyright (C) 2011 Motorola Mobility. All rights reserved.
  *
  * This library is free software; you can redistribute it and/or
  * modify it under the terms of the GNU Library General Public
@@ skipping 930 matching lines @@
   size_t i = 0;
   // Skip a leading #.
   if (colorString[0] == '#')
     i = 1;
 
   // Grab the first 128 characters, replacing non-hex characters with 0.
   // Non-BMP characters are replaced with "00" due to them appearing as two
   // "characters" in the String.
   for (; i < colorString.length() && digitBuffer.size() < maxColorLength; i++) {
     if (!isASCIIHexDigit(colorString[i]))
-      digitBuffer.append('0');
+      digitBuffer.push_back('0');
     else
-      digitBuffer.append(colorString[i]);
+      digitBuffer.push_back(colorString[i]);
   }
 
   if (!digitBuffer.size())
     return Color::black;
 
   // Pad the buffer out to at least the next multiple of three in size.
-  digitBuffer.append('0');
-  digitBuffer.append('0');
+  digitBuffer.push_back('0');
+  digitBuffer.push_back('0');
 
   if (digitBuffer.size() < 6)
     return makeRGB(toASCIIHexValue(digitBuffer[0]),
                    toASCIIHexValue(digitBuffer[1]),
                    toASCIIHexValue(digitBuffer[2]));
 
   // Split the digits into three components, then search the last 8 digits of
   // each component.
   DCHECK_GE(digitBuffer.size(), 6u);
   size_t componentLength = digitBuffer.size() / 3;
@@ skipping 220 matching lines @@
 
 #ifndef NDEBUG
 
 // For use in the debugger
 void dumpInnerHTML(blink::HTMLElement*);
 
 void dumpInnerHTML(blink::HTMLElement* element) {
   printf("%s\n", element->innerHTML().ascii().data());
 }
 #endif