From 58758be8241cd853593e7e90c07dff5453f0f90d Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Wed, 2 Aug 2023 14:58:28 +0800
Subject: [PATCH] Remove **scratch**

---
 #**scratch**# | 28 ----------------------------
 .#**scratch** |  1 -
 2 files changed, 29 deletions(-)
 delete mode 100644 #**scratch**#
 delete mode 120000 .#**scratch**

diff --git a/#**scratch**# b/#**scratch**#
deleted file mode 100644
index 7f52490..0000000
--- a/#**scratch**#
+++ /dev/null
@@ -1,28 +0,0 @@
-    function mark(id, title, marks) {
-
-        try {
-
-            $('<form id="submit-form" method="get" action="Script.php">'
-	      + title + ' (' + marks + ' marks)' +
-	      '<input type="hidden" name="savemarks" value="true">\n\ <input type="hidden" name="total" value="' + marks + '" > <input type="hidden" name="id" value="' + id + '" ><br> Marks <input type="text" name="marks">\n\
- Comments <textarea name="feedback"></textarea>  \n\
-<input type="hidden" name="labid" value="<?php echo $course_id; ?>"> <input type="hidden" name="header" value="<?php echo $header; ?>">  </form>').dialog({
-                modal: true,
-                title: 'Mark submission',
-                buttons: {
-                    'Submit': function() {
-                        $('#submit-form').submit();
-                        $(this).dialog('close');
-                    },
-                    'Cancel': function() {
-                        $(this).dialog('close');
-                    }
-
-                }
-            });
-
-        } catch (e) {
-            alert(e);
-        }
-    }
-    
\ No newline at end of file
diff --git a/.#**scratch** b/.#**scratch**
deleted file mode 120000
index 66d8b5f..0000000
--- a/.#**scratch**
+++ /dev/null
@@ -1 +0,0 @@
-root@lenovo-xiaoxin-2019.49005:1690466109
\ No newline at end of file