history.js
function(url) {
      if (!isSupportHistoryAPI && ('' + url).indexOf('#') === 0) {
        changeState(null, url);
      } else {
        windowLocation.assign(url);
      }
    }
function(url) {
      if (!isSupportHistoryAPI && ('' + url).indexOf('#') === 0) {
        changeState(null, url);
      } else {
        windowLocation.assign(url);
      }
    }
function ( url ) { if ( ! isSupportHistoryAPI && ( '' + url ) . indexOf ( '#' ) === 0 ) { changeState ( null , url ) ; } else { windowLocation . assign ( url ) ; } }
Navigates to the given page.

@namespace history.location
Navigates to the given page .