From 1583f73220bd38e9a81a89fac47c3eb8d76df457 Mon Sep 17 00:00:00 2001
From: Manuel Friedli <manuel@fritteli.ch>
Date: Fri, 3 May 2019 23:43:10 +0200
Subject: [PATCH] Don't include deprecated jquery-ui.core.js, which breaks
 everything.

---
 Gruntfile.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Gruntfile.js b/Gruntfile.js
index f210bc3..ae194d4 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -26,7 +26,6 @@ module.exports = function (grunt) {
             libs: {
                 src: [
                     'node_modules/jquery/dist/jquery.js',
-                    'node_modules/jquery-ui/ui/core.js',
                     'node_modules/jquery-ui/ui/widget.js',
                     'node_modules/jquery.cookie/jquery.cookie.js'
                 ],