gerrit.onosproject.org / onos-felix / 9b84d94f2046eb1c93b9f26f526141e45b8c46a5 / webconsole-plugins / script-console / src / main / resources / res / ui / script-console.js