function updateParams()

in static/js/glossary.js [38:42]


    function updateParams(paramHash) {
      var urlWithoutQuery = window.location.href.split('?')[0];
      var urlHash = window.location.hash;
      window.history.pushState(null,null, urlWithoutQuery + "?" + $.param(paramHash) + window.location.hash);
    }