From 0a6870656f791f4c3e879ae89c0f22eea437fd39 Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremy@jermolene.com>
Date: Wed, 31 Jul 2019 21:39:52 +0100
Subject: [PATCH] Fix typo in b5653babd

---
 core/modules/savers/github.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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";
 
 /*