Christoph Diehl 9a22935f0e [console.js] Use const instead of let		2017-05-02 17:26:49 +03:00
..
console.js	[console.js] Use const instead of let	2017-05-02 17:26:49 +03:00