diff --git a/services/web/frontend/js/ide/pdf/controllers/PdfJsMetrics.js b/services/web/frontend/js/ide/pdf/controllers/PdfJsMetrics.js
index 469db5ebe0..b6f7f40fb8 100644
--- a/services/web/frontend/js/ide/pdf/controllers/PdfJsMetrics.js
+++ b/services/web/frontend/js/ide/pdf/controllers/PdfJsMetrics.js
@@ -71,6 +71,7 @@ function submitCompileMetrics(metrics) {
   stats = stats || {}
   timings = timings || {}
   const leanMetrics = {
+    version: VERSION,
     latencyFetch,
     latencyRender,
     pdfSize: stats['pdf-size'],