| Index: third_party/WebKit/Source/core/html/PublicURLManager.cpp
|
| diff --git a/third_party/WebKit/Source/core/html/PublicURLManager.cpp b/third_party/WebKit/Source/core/html/PublicURLManager.cpp
|
| index 4695a7a9ab34e05891b79c1d0bbf3698bdc1ad65..baa29eeb0581c165ef083b6af9561de6fdde5cce 100644
|
| --- a/third_party/WebKit/Source/core/html/PublicURLManager.cpp
|
| +++ b/third_party/WebKit/Source/core/html/PublicURLManager.cpp
|
| @@ -84,7 +84,7 @@ void PublicURLManager::revoke(const String& uuid) {
|
| KURL url(ParsedURLString, registeredUrl.key);
|
| getExecutionContext()->removeURLFromMemoryCache(url);
|
| registry->unregisterURL(url);
|
| - urlsToRemove.append(registeredUrl.key);
|
| + urlsToRemove.push_back(registeredUrl.key);
|
| }
|
| }
|
| for (const auto& url : urlsToRemove)
|
|
|