file_manager: fileBrowserPrivate.requestDirectoryRefresh

This API is no longer in use.

BUG=256947
TEST=none
[email protected], [email protected]

Review URL: https://codereview.chromium.org/18951002

git-svn-id: svn://svn.chromium.org/chrome/trunk/src@210729 0039d316-1c4b-4281-b951-d872f2087c98
diff --git a/chrome/browser/extensions/extension_function_histogram_value.h b/chrome/browser/extensions/extension_function_histogram_value.h
index 3b627ca..c4f6cec5 100644
--- a/chrome/browser/extensions/extension_function_histogram_value.h
+++ b/chrome/browser/extensions/extension_function_histogram_value.h
@@ -78,7 +78,7 @@
   BOOKMARKS_UPDATE,
   FILEBROWSERPRIVATE_GETDRIVEFILES,
   TERMINALPRIVATE_ONTERMINALRESIZE,
-  FILEBROWSERPRIVATE_REQUESTDIRECTORYREFRESH,
+  DELETED_FILEBROWSERPRIVATE_REQUESTDIRECTORYREFRESH,
   BLUETOOTH_GETADAPTERSTATE,
   FILEBROWSERPRIVATE_CANCELFILETRANSFERS,
   FILEBROWSERPRIVATE_PINDRIVEFILE,