Menu: Update license header in theme.

diff --git a/themes/base/jquery.ui.menu.css b/themes/base/jquery.ui.menu.css
index 1b38f068099533c35a2fc5e471389f6b265c3f1b..667518bffca150e490f7268929ab0d53b3c4163c 100644 (file)
--- a/themes/base/jquery.ui.menu.css
+++ b/themes/base/jquery.ui.menu.css
@@ -1,5 +1,10 @@
-/* Menu
-----------------------------------*/
+/*
+ * jQuery UI Menu @VERSION
+ *
+ * Copyright 2010, AUTHORS.txt (http://jqueryui.com/about)
+ * Dual licensed under the MIT or GPL Version 2 licenses.
+ * http://jquery.org/license
+ */
 .ui-menu {
        list-style:none;
        padding: 2px;