function setURL()

in channels_diff.js [28:42]


function setURL() {
  let url = new URL(location.href);

  let property = getOption("property");
  let value = getOption("value");
  if (!property) {
    url.search = "";
  } else if (!value) {
    url.search = "?property=" + property;
  } else {
    url.search = "?property=" + property + "&value=" + value;
  }

  history.replaceState({}, document.title, url.href);
}