Rename user to contributor in submission

2023-08-11 12:15:36 +02:00
parent 97138288f4
commit 0234414bae
39 changed files with 267 additions and 233 deletions
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -919,10 +919,6 @@ var CodeOceanEditor = {
            const delta = 100; // time in ms to wait for window event before time gets stopped
            let tid;
            $.ajax({
-                data: {
-                    exercise_id: editor.data('exercise-id'),
-                    user_id: editor.data('user-id')
-                },
                dataType: 'json',
                method: 'GET',
                // get working times for this exercise