setWebTitle function

dynamic setWebTitle(dynamic title)

Implementation

setWebTitle(title) {
  html.document.title = title.toString();
}