From b48bbd4e2f6c29493174f721850ff47379a1c982 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume.gomez@huawei.com>
Date: Mon, 6 Jun 2022 14:00:43 +0200
Subject: [PATCH] Add "no-floating-decimal" eslint check

---
 src/librustdoc/html/static/.eslintrc.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/librustdoc/html/static/.eslintrc.js b/src/librustdoc/html/static/.eslintrc.js
index 0d72aadbce14..2ffcbb825911 100644
--- a/src/librustdoc/html/static/.eslintrc.js
+++ b/src/librustdoc/html/static/.eslintrc.js
@@ -80,5 +80,6 @@ module.exports = {
         "no-alert": "error",
         "no-confusing-arrow": "error",
         "no-div-regex": "error",
+        "no-floating-decimal": "error",
     }
 };