CurrentSegmentInfobox: fixed bug where editing a segment would not update the source correctly and mess up other widgets.
/**
* @param {Page[]} pages
* @param {number} [id] Specifies the id, if applicable.
* @param {String} [title = This is untitled.] Specifies the title.
*/
function Document(pages, id, title){
}