Please note that as of WP 4.4, you can now enable editing of JS (or any other file format) via the WP Themes editor! The details are illustrated in the comments below. Thanks to Dmitri for pointing out the new … Continue reading →