From 7af648a966bed462ed6f35b6231399c3fc5a589b Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Fri, 13 Oct 2023 00:14:19 +0200
Subject: [PATCH] Specify ANIMATION_DURATION as const

---
 app/assets/javascripts/base.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/assets/javascripts/base.js b/app/assets/javascripts/base.js
index be3f1d50..1e2ef5eb 100644
--- a/app/assets/javascripts/base.js
+++ b/app/assets/javascripts/base.js
@@ -8,7 +8,7 @@ window.CodeOcean = {
   }
 };
 
-var ANIMATION_DURATION = 500;
+const ANIMATION_DURATION = 500;
 
 $.isController = function(name) {
   return $('div[data-controller="' + name + '"]').isPresent();