From 962865e5bf8974d1651305ed406bfd146bc76f3e Mon Sep 17 00:00:00 2001
From: Brian Vaughn <bvaughn@fb.com>
Date: Wed, 22 May 2019 09:57:10 -0700
Subject: [PATCH] Add datetime to the profiling export filename

---
 .../Profiler/ProfilingImportExportButtons.js      | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/src/devtools/views/Profiler/ProfilingImportExportButtons.js b/src/devtools/views/Profiler/ProfilingImportExportButtons.js
index fc429a9f65..eebe91d97e 100644
--- a/src/devtools/views/Profiler/ProfilingImportExportButtons.js
+++ b/src/devtools/views/Profiler/ProfilingImportExportButtons.js
@@ -32,8 +32,21 @@ export default function ProfilingImportExportButtons() {
 
     if (profilingData !== null) {
       const profilingDataExport = prepareProfilingDataExport(profilingData);
+      const date = new Date();
+      const dateString = date
+        .toLocaleDateString(undefined, {
+          year: 'numeric',
+          month: '2-digit',
+          day: '2-digit',
+        })
+        .replace(/\//g, '-');
+      const timeString = date
+        .toLocaleTimeString(undefined, {
+          hour12: false,
+        })
+        .replace(/:/g, '-');
       downloadFile(
-        'profile-data.json',
+        `profiling-data.${dateString}.${timeString}.json`,
         JSON.stringify(profilingDataExport, null, 2)
       );
     }