Switch to new WebIDE runtime API (bug 1069552)