Pull in hogfather externs.

2016-01-08 15:03:14 -08:00
parent e88b11c3a7
commit e71334a673
1 changed files with 1 additions and 0 deletions
--- a/static/verify.sh
+++ b/static/verify.sh
@@ -9,6 +9,7 @@ curl \
  --data language=ECMASCRIPT5 \
  --data warning_level=verbose \
  --data externs_url=https://www.cosmopolite.org/externs/cosmopolite.js \
+  --data externs_url=https://www.cosmopolite.org/externs/hogfather.js \
  --data externs_url=https://raw.githubusercontent.com/google/closure-compiler/master/contrib/externs/google_visualization_api.js \
  --data-urlencode "js_externs@externs.js" \
  --data-urlencode "js_code@babystats.js" \