From e71334a673b9b294b5aad2810694170e6afbf22a Mon Sep 17 00:00:00 2001 From: Ian Gulliver Date: Fri, 8 Jan 2016 15:03:14 -0800 Subject: [PATCH] Pull in hogfather externs. --- static/verify.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/static/verify.sh b/static/verify.sh index afbcaa3..5a2a877 100755 --- 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" \