'use strict';


/**
 * Set the title in the browser window.
 */
export function setDocumentTitle(title) {
    document.title = title;
}