From: Ed Sanders <esanders@wikimedia.org>
Date: Wed, 12 Dec 2018 14:42:48 +0000 (+0000)
Subject: Remove unused /* global console */
X-Git-Tag: 1.34.0-rc.0~3269^2
X-Git-Url: https://git.cyclocoop.org/%27.WWW_URL.%27admin/?a=commitdiff_plain;h=3823aa8f1a04352de9bbcf55ffcfed31d9e5dc28;p=lhc%2Fweb%2Fwiklou.git

Remove unused /* global console */

Change-Id: I330208689281cae251c1da9c147611a79b9b153a
---

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;