From 5f68baba7545922aa086e64d010678cae1d9aa1d Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Wed, 6 Apr 2022 19:51:28 +0200
Subject: [PATCH] Fix typo for TipsIntervention in JS

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

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index ecc91d40..f7c9e804 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -860,7 +860,7 @@ var CodeOceanEditor = {
                                 $('#tips-intervention-modal').modal('show');
                                 $.ajax({
                                     data: {
-                                        intervention_type: 'TipIntervention'
+                                        intervention_type: 'TipsIntervention'
                                     },
                                     dataType: 'json',
                                     type: 'POST',