diff --git a/tools/check_web_sanity.js b/tools/check_web_sanity.js old mode 100644 new mode 100755