declare namespace pxt.editor {
}