| Index: Source/devtools/front_end/common/utilities.js
|
| diff --git a/Source/devtools/front_end/common/utilities.js b/Source/devtools/front_end/common/utilities.js
|
| index e8509cec65ad5da9513b0cb7c60984653998d454..f42ab3ad537b39061e50a2735f0dbbb76c757916 100644
|
| --- a/Source/devtools/front_end/common/utilities.js
|
| +++ b/Source/devtools/front_end/common/utilities.js
|
| @@ -169,6 +169,20 @@ String.prototype.escapeHTML = function()
|
| /**
|
| * @return {string}
|
| */
|
| +String.prototype.unescapeHTML = function()
|
| +{
|
| + return this.replace(/</g, "<")
|
| + .replace(/>/g, ">")
|
| + .replace(/:/g, ":")
|
| + .replace(/"/g, "\"")
|
| + .replace(/</g, "<")
|
| + .replace(/>/g, ">")
|
| + .replace(/&/g, "&");
|
| +}
|
| +
|
| +/**
|
| + * @return {string}
|
| + */
|
| String.prototype.collapseWhitespace = function()
|
| {
|
| return this.replace(/[\s\xA0]+/g, " ");
|
|
|