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

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

Index: third_party/WebKit/Source/core/html/HTMLOptionsCollection.cpp
diff --git a/third_party/WebKit/Source/core/html/HTMLOptionsCollection.cpp b/third_party/WebKit/Source/core/html/HTMLOptionsCollection.cpp
index 6779f72da32c9a919acb37d26f0bc5ab1705ec1d..5445526758608a73ca6ec5ef28a9f8a734d59969 100644
--- a/third_party/WebKit/Source/core/html/HTMLOptionsCollection.cpp
+++ b/third_party/WebKit/Source/core/html/HTMLOptionsCollection.cpp
@@ -55,14 +55,14 @@ void HTMLOptionsCollection::supportedPropertyNames(Vector<String>& names) {
       HashSet<AtomicString>::AddResult addResult =
           existingNames.add(idAttribute);
       if (addResult.isNewEntry)
-        names.append(idAttribute);
+        names.push_back(idAttribute);
     }
     const AtomicString& nameAttribute = element->getNameAttribute();
     if (!nameAttribute.isEmpty()) {
       HashSet<AtomicString>::AddResult addResult =
           existingNames.add(nameAttribute);
       if (addResult.isNewEntry)
-        names.append(nameAttribute);
+        names.push_back(nameAttribute);
     }
   }
 }