message: matdbg: update Monaco editor.
diff: * See the License for the specific language governing permissions and
  * limitations under the License.
  */
  -
  -const kMonacoBaseUrl = 'https://cdnjs.cloudflare.com/ajax/libs/monaco-editor/0.17.1/min/';
  +const kMonacoBaseUrl = 'https://cdnjs.cloudflare.com/ajax/libs/monaco-editor/0.25.2/min/';
  const kUntitledPlaceholder = "untitled";
  const materialList = document.getElementById("material-list");
  