dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a793faa
)
Remove unused /* global console */
author
Ed Sanders
<esanders@wikimedia.org>
Wed, 12 Dec 2018 14:42:48 +0000
(14:42 +0000)
committer
Ed Sanders
<esanders@wikimedia.org>
Wed, 12 Dec 2018 14:42:48 +0000
(14:42 +0000)
Change-Id: I330208689281cae251c1da9c147611a79b9b153a
resources/src/startup/mediawiki.log.js
patch
|
blob
|
history
diff --git
a/resources/src/startup/mediawiki.log.js
b/resources/src/startup/mediawiki.log.js
index
9283b16
..
e8eb0ae
100644
(file)
--- 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;