chore: fix some linter problems

m4tx · Feb 15, 2023 · 8fd6c82 · 8fd6c82
1 parent e45f0f4
commit 8fd6c82
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/ext/js/common.js b/ext/js/common.js
@@ -17,7 +17,7 @@ function getContestAndProblemID(url) {
     return {
         contestID: match[1],
         problemID: match[2],
-    }
+    };
 }
 
 if (typeof module !== 'undefined') {

diff --git a/ext/js/problem.js b/ext/js/problem.js
@@ -5,7 +5,7 @@
     const resultsUrl = `${SATORI_URL_HTTPS}contest/${contestID}/results?results_filter_problem=${problemID}`;
     $('<a class="button">Results</a>')
         .attr('href', resultsUrl)
-        .appendTo('#content > .buttton_bar')
+        .appendTo('#content > .buttton_bar');
 
     function parseResultsPage(html) {
         for (const x of $.parseHTML(html)) {

diff --git a/ext/js/results-list.js b/ext/js/results-list.js
@@ -19,7 +19,7 @@
         }
         $(`<a class="button">Submit another</a>`)
             .attr('href', `${SATORI_URL_HTTPS}contest/${contestID}/submit?select=${problemID}`)
-            .appendTo('#content .button_bar')
+            .appendTo('#content .button_bar');
     }
 
     addCompareSubmitsButton();

diff --git a/ext/js/results.js b/ext/js/results.js
@@ -100,6 +100,6 @@
         $('<div class="button_bar"></div>')
             .append(resultsButton)
             .append(submitButton)
-            .insertAfter('#content .results')
+            .insertAfter('#content .results');
     });
 })();
diff --git a/ext/js/submit.js b/ext/js/submit.js
@@ -25,7 +25,7 @@
         codeTextarea.attr('disabled', fileSelected);
         filePicker.attr('disabled', textEntered);
         submitButton.attr('disabled', loading || !problemSelect.val() || !(textEntered || fileSelected));
-    }
+    };
 
     problemSelect.on('change', updatePickers);
     filePicker.on('change', updatePickers);

diff --git a/gulpfile.js b/gulpfile.js
@@ -52,7 +52,7 @@ gulp.task('sass', function () {
 
 gulp.task('jshint', function () {
     return gulp.src(path.join(EXT_DIR, 'js/**/*.js'))
-        .pipe(jshint({esversion: 6}))
+        .pipe(jshint({esversion: 11}))
         .pipe(jshint.reporter('default'));
 });