/* Any copyright is dedicated to the Public Domain.
   http://creativecommons.org/publicdomain/zero/1.0/ */

"use strict";

window.addEventListener("editorReady", function () {
  editor.setText("Script successfully injected!");
});