/*
* Copyright 2020 The Chromium Authors
* Use of this source code is governed by a BSD-style license that can be
* found in the LICENSE file.
*/
/**
* Prints the given informational message.
* @param {string} msg - The information message to print.
*/
function info(msg) {
let element = document.createElement('pre');
element.innerHTML = msg;
element.className = 'info';
document.getElementById('msg').appendChild(element);
}