Use jquery-ui to only embed button components

Signed-off-by: Julius Härtl <jus@bitgrid.net>

core/src/install.js

@@ -3,6 +3,10 @@ import { translate as t } from '@nextcloud/l10n'
 import { getToken } from './OC/requesttoken'
 import getURLParameter from './Util/get-url-parameter'
 
+import 'jquery-ui/ui/widgets/button'
+import 'jquery-ui/themes/base/theme.css'
+import 'jquery-ui/themes/base/button.css'
+
 import 'strengthify'
 import 'strengthify/strengthify.css'
 

package-lock.json

@@ -6651,6 +6651,11 @@
       "resolved": "https://registry.npmjs.org/jquery-migrate/-/jquery-migrate-1.4.1.tgz",
       "integrity": "sha1-hRUvPsmalWJfT30Lz2LpuGOPWnY="
     },
+    "jquery-ui": {
+      "version": "1.12.1",
+      "resolved": "https://registry.npmjs.org/jquery-ui/-/jquery-ui-1.12.1.tgz",
+      "integrity": "sha1-vLQEXI3QU5wTS8FIjN0+dop6nlE="
+    },
     "jquery-ui-dist": {
       "version": "1.12.1",
       "resolved": "https://registry.npmjs.org/jquery-ui-dist/-/jquery-ui-dist-1.12.1.tgz",

package.json

@@ -51,6 +51,7 @@
     "jcrop": "git+https://github.com/ChristophWurst/Jcrop.git#v0.9.12-npm3",
     "jquery": "2.1.4",
     "jquery-migrate": "^1.4.1",
+    "jquery-ui": "^1.12.1",
     "jquery-ui-dist": "^1.12.1",
     "jstimezonedetect": "^1.0.7",
     "lodash": "^4.17.15",