Fossil

  /**
     Update the page title and header based on the state of
     this.winfo. A no-op if this.winfo is not set. Returns this.
  */
  P.updatePageTitle = function f(){
    if(!f.titleElement){
      f.titleElement = document.head.querySelector('title');
      f.pageTitleHeader = document.querySelector('div.header .title');
      f.pageTitleHeader = document.querySelector('#wikiedit-page-name > span');
    }
    var title = ['Wiki Editor:'];
    const title = ['Wiki Editor:'];
    const wi = P.winfo;
    if(wi){
      if(!wi.version && 'sandbox'!==wi.type) title.push(P.config.editStateMarkers.isNew);
      else if($stash.getWinfo(wi)) title.push(P.config.editStateMarkers.isModified)
      title.push(wi.name);
    }else{
      title.push('(no page loaded)');
    }
    title = title.join(' ');
    f.titleElement.innerText = title;
    f.pageTitleHeader.innerText = title[1];
    f.titleElement.innerText = title.join(' ');
    f.pageTitleHeader.innerText = title;
    return this;
  };

  /**
     Change the save button depending on whether we have stuff to save
     or not.
  */