[gimp-web/master] Add GPL3 license to JS files Pat wrote

[Pat David <patdavid src gnome org>]

commit b3f85e1d7f598c246d2bc0617f3dd18a8680a739
Author: Pat David <patdavid gmail com>
Date:   Sat Sep 12 14:26:33 2020 -0500

    Add GPL3 license to JS files Pat wrote

 content/js/platform-display.js | 28 ++++++++++++++++++++++++++++
 content/js/push-menu.js        | 29 +++++++++++++++++++++++++++++
 content/js/search-embed.js     | 29 +++++++++++++++++++++++++++++
 3 files changed, 86 insertions(+)
---
diff --git a/content/js/platform-display.js b/content/js/platform-display.js
index 735253a9..fae8a7a4 100644
--- a/content/js/platform-display.js
+++ b/content/js/platform-display.js
@@ -1,3 +1,31 @@
+/**
+ *
+ * @source: http://www.gimp.org/js/platform-display.js
+ *
+ * @licstart  The following is the entire license notice for the 
+ *  JavaScript code in this page.
+ *
+ * Copyright (C) 2016 Pat David
+ *
+ *
+ * The JavaScript code in this page is free software: you can
+ * redistribute it and/or modify it under the terms of the GNU
+ * General Public License (GNU GPL) as published by the Free Software
+ * Foundation, either version 3 of the License, or (at your option)
+ * any later version.  The code is distributed WITHOUT ANY WARRANTY;
+ * without even the implied warranty of MERCHANTABILITY or FITNESS
+ * FOR A PARTICULAR PURPOSE.  See the GNU GPL for more details.
+ *
+ * As additional permission under GNU GPL version 3 section 7, you
+ * may distribute non-source (e.g., minimized or compacted) forms of
+ * that code without the copy of the GNU GPL normally required by
+ * section 4, provided you include this license notice and a URL
+ * through which recipients can access the Corresponding Source.
+ *
+ * @licend  The above is the entire license notice
+ * for the JavaScript code in this page.
+ *
+ */
 /*
  * platform-display.js
  *
diff --git a/content/js/push-menu.js b/content/js/push-menu.js
index 6309c1f6..905189c3 100644
--- a/content/js/push-menu.js
+++ b/content/js/push-menu.js
@@ -1,3 +1,32 @@
+/**
+ *
+ * @source: http://www.gimp.org/js/push-menu.js
+ *
+ * @licstart  The following is the entire license notice for the 
+ *  JavaScript code in this page.
+ *
+ * Copyright (C) 2016 Pat David
+ *
+ *
+ * The JavaScript code in this page is free software: you can
+ * redistribute it and/or modify it under the terms of the GNU
+ * General Public License (GNU GPL) as published by the Free Software
+ * Foundation, either version 3 of the License, or (at your option)
+ * any later version.  The code is distributed WITHOUT ANY WARRANTY;
+ * without even the implied warranty of MERCHANTABILITY or FITNESS
+ * FOR A PARTICULAR PURPOSE.  See the GNU GPL for more details.
+ *
+ * As additional permission under GNU GPL version 3 section 7, you
+ * may distribute non-source (e.g., minimized or compacted) forms of
+ * that code without the copy of the GNU GPL normally required by
+ * section 4, provided you include this license notice and a URL
+ * through which recipients can access the Corresponding Source.
+ *
+ * @licend  The above is the entire license notice
+ * for the JavaScript code in this page.
+ *
+ */
+
 /*
  * If you thought my Python was bad
  * wait until you get a load of my js
diff --git a/content/js/search-embed.js b/content/js/search-embed.js
index 03a09778..05e2f7c0 100644
--- a/content/js/search-embed.js
+++ b/content/js/search-embed.js
@@ -1,3 +1,32 @@
+/**
+ *
+ * @source: http://www.gimp.org/js/search-embed.js
+ *
+ * @licstart  The following is the entire license notice for the 
+ *  JavaScript code in this page.
+ *
+ * Copyright (C) 2016 Pat David
+ *
+ *
+ * The JavaScript code in this page is free software: you can
+ * redistribute it and/or modify it under the terms of the GNU
+ * General Public License (GNU GPL) as published by the Free Software
+ * Foundation, either version 3 of the License, or (at your option)
+ * any later version.  The code is distributed WITHOUT ANY WARRANTY;
+ * without even the implied warranty of MERCHANTABILITY or FITNESS
+ * FOR A PARTICULAR PURPOSE.  See the GNU GPL for more details.
+ *
+ * As additional permission under GNU GPL version 3 section 7, you
+ * may distribute non-source (e.g., minimized or compacted) forms of
+ * that code without the copy of the GNU GPL normally required by
+ * section 4, provided you include this license notice and a URL
+ * through which recipients can access the Corresponding Source.
+ *
+ * @licend  The above is the entire license notice
+ * for the JavaScript code in this page.
+ *
+ */
+
 /*
  * search-embed.js
  *