diff --git a/core/modules/savers/github.js b/core/modules/savers/github.js
index d7f1b06d8..08f809d19 100644
--- a/core/modules/savers/github.js
+++ b/core/modules/savers/github.js
@@ -9,7 +9,7 @@ Saves wiki by pushing a commit to the GitHub v3 REST API
 (function(){
 
 /*jslint node: true, browser: true */
-/*global $tw: true */
+/*global $tw: false */
 "use strict";
 
 /*