From 3823aa8f1a04352de9bbcf55ffcfed31d9e5dc28 Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Wed, 12 Dec 2018 14:42:48 +0000
Subject: [PATCH] Remove unused /* global console */

Change-Id: I330208689281cae251c1da9c147611a79b9b153a
---
 resources/src/startup/mediawiki.log.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/src/startup/mediawiki.log.js b/resources/src/startup/mediawiki.log.js
index 9283b1665a..e8eb0aeca5 100644
--- a/resources/src/startup/mediawiki.log.js
+++ b/resources/src/startup/mediawiki.log.js
@@ -7,7 +7,7 @@
  * @author Trevor Parscal <tparscal@wikimedia.org>
  */
 ( function () {
-	/* global console, mw */
+	/* global mw */
 	/* eslint-disable no-console */
 	var original = mw.log;
 
-- 
2.20.1