From 69aa0e711ad534c30c062a96e35257c4782760c3 Mon Sep 17 00:00:00 2001
From: Ian Gulliver <ian@flamingcow.tv>
Date: Sat, 17 Oct 2015 15:55:43 +0200
Subject: [PATCH] Start of hogfather code.

---
 static/hogfather.js | 26 ++++++++++++++++++++++++++
 static/verify.sh    | 17 +++++++++++++++--
 2 files changed, 41 insertions(+), 2 deletions(-)
 create mode 100644 static/hogfather.js

diff --git a/static/hogfather.js b/static/hogfather.js
new file mode 100644
index 0000000..6b8e71f
--- /dev/null
+++ b/static/hogfather.js
@@ -0,0 +1,26 @@
+/**
+ * @license
+ * Copyright 2015, Ian Gulliver
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+
+
+/**
+ * @constructor
+ * @param {Cosmopolite} cosmo
+ * @param {string} name
+ */
+var Hogfather = function(cosmo, name) {
+};
diff --git a/static/verify.sh b/static/verify.sh
index 9e5515a..52707cc 100755
--- a/static/verify.sh
+++ b/static/verify.sh
@@ -6,11 +6,24 @@ curl \
   --data output_format=json \
   --data output_info=errors \
   --data output_info=warnings \
-  --data language=ECMASCRIPT6 \
+  --data language=ECMASCRIPT5 \
   --data warning_level=verbose \
   --data-urlencode "js_code@cosmopolite.js" \
   http://closure-compiler.appspot.com/compile
 echo
 
-gjslint --strict cosmopolite.js
+curl \
+  --silent \
+  --data compilation_level=ADVANCED_OPTIMIZATIONS \
+  --data output_format=json \
+  --data output_info=errors \
+  --data output_info=warnings \
+  --data language=ECMASCRIPT5 \
+  --data warning_level=verbose \
+  --data externs_url=https://www.cosmopolite.org/externs/cosmopolite.js \
+  --data-urlencode "js_code@hogfather.js" \
+  http://closure-compiler.appspot.com/compile
+echo
+
+gjslint --strict cosmopolite.js hogfather.js
 gjslint --strict --nojsdoc test.js