From 800d76ac17345b6016f3d067b41a757ebd2c9bb8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jo=CC=88rn=20Zaefferer?= <joern.zaefferer@gmail.com>
Date: Fri, 23 Oct 2015 09:25:15 -0400
Subject: [PATCH] Core: Remove header and manifest

This file is deprecated and should not be included, by default, in
builds anymore.
---
 ui/core.js | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/ui/core.js b/ui/core.js
index 9371976b4..2cccd0bd8 100644
--- a/ui/core.js
+++ b/ui/core.js
@@ -1,18 +1,3 @@
-/*!
- * jQuery UI Core @VERSION
- * http://jqueryui.com
- *
- * Copyright jQuery Foundation and other contributors
- * Released under the MIT license.
- * http://jquery.org/license
- *
- */
-
-//>>label: Core
-//>>group: Core
-//>>description: The core of jQuery UI, required for all interactions and widgets.
-//>>docs: http://api.jqueryui.com/category/ui-core/
-
 // This file is deprecated in 1.12.0 to be removed in 1.13
 ( function() {
 define( [
-- 
2.39.5