I noticed that username_ and current_ are not defined in editor_tab.js, so JavaScript has promoted them to global variables.
Don't have time/patience at the moment to find the right tool to lint all our code for this. (Thought jshint would do this, but it's curiously silent about this problem.)
I noticed that
username_
andcurrent_
are not defined ineditor_tab.js
, so JavaScript has promoted them to global variables.Don't have time/patience at the moment to find the right tool to lint all our code for this. (Thought jshint would do this, but it's curiously silent about this problem.)