| Index: third_party/WebKit/Source/devtools/front_end/profiler/ProfileHeader.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/profiler/ProfileHeader.js b/third_party/WebKit/Source/devtools/front_end/profiler/ProfileHeader.js
|
| index 6dd2a45a21e5bf542d0e17479db460614e688156..490474b4b333756b4a98b3361160b2c296205bca 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/profiler/ProfileHeader.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/profiler/ProfileHeader.js
|
| @@ -19,6 +19,13 @@ Profiler.ProfileHeader = class extends Common.Object {
|
| }
|
|
|
| /**
|
| + * @param {string} title
|
| + */
|
| + setTitle(title) {
|
| + this.title = title;
|
| + }
|
| +
|
| + /**
|
| * @return {!Profiler.ProfileType}
|
| */
|
| profileType() {
|
|
|