| Index: tools/metrics/histograms/update_use_counter_feature_enum.py
|
| diff --git a/tools/metrics/histograms/update_use_counter_feature_enum.py b/tools/metrics/histograms/update_use_counter_feature_enum.py
|
| index a0bf042d12faaf20113db52c21f792b80ddd03fe..e26c2695af4b4b6f6090097a4180fcfa99ea2ae9 100755
|
| --- a/tools/metrics/histograms/update_use_counter_feature_enum.py
|
| +++ b/tools/metrics/histograms/update_use_counter_feature_enum.py
|
| @@ -32,9 +32,9 @@ if __name__ == '__main__':
|
| 'https://github.com/GoogleChrome/chromium-dashboard')
|
| options, args = parser.parse_args()
|
|
|
| - source_path = 'third_party/WebKit/Source/core/frame/UseCounter.h'
|
| + source_path = 'third_party/WebKit/public/platform/WebFeature.h'
|
|
|
| - START_MARKER = '^enum Feature : uint32_t {'
|
| + START_MARKER = '^enum class WebFeature : uint32_t {'
|
| END_MARKER = '^kNumberOfFeatures'
|
|
|
| if options.dashboard:
|
|
|