Index: chrome/browser/resources/file_manager/js/metrics.js |
diff --git a/chrome/browser/resources/file_manager/js/metrics.js b/chrome/browser/resources/file_manager/js/metrics.js |
index 7b8addc19ab0d7aef609ad528a26e7ad7d962cf1..1fdd63bfdf378b8d9fa6c11982f2a6df81f1a03d 100644 |
--- a/chrome/browser/resources/file_manager/js/metrics.js |
+++ b/chrome/browser/resources/file_manager/js/metrics.js |
@@ -70,7 +70,7 @@ metrics.decorate = function(name) { |
if (metrics.log) { |
console.log('chrome.metricsPrivate.' + name, args); |
} |
- } |
+ }; |
}; |
metrics.decorate('recordMediumCount'); |