Index: chrome/browser/resources/file_manager/js/media/util.js |
diff --git a/chrome/browser/resources/file_manager/js/media/util.js b/chrome/browser/resources/file_manager/js/media/util.js |
index 2770c37e699a8923a648f500345502c00c7b3412..e0178b72be3c8472d7b103cd9676a21395655d43 100644 |
--- a/chrome/browser/resources/file_manager/js/media/util.js |
+++ b/chrome/browser/resources/file_manager/js/media/util.js |
@@ -67,7 +67,7 @@ MouseInactivityWatcher.prototype.showTools = function(on) { |
}; |
/** |
- * @param {Element} element DOM element |
+ * @param {Element} element DOM element. |
* @return {boolean} True if the element is a tool. Tools should never be hidden |
* while the mouse is over one of them. |
*/ |