23 //      push - Whether to pushState the URL. Defaults to true (of course).
149 //      push - Whether to pushState the URL. Defaults to true (of course).
262     if (options.push || options.replace) {
323     if (options.push && !options.replace) {
343     push: false,  property
416         push: false,  property
524 //   optionsFor('#container', {push: true})
525 //   // => {container: '#container', push: true}
527 //   optionsFor({container: '#container', push: true})
528 //   // => {container: '#container', push: true}
697 // Push previous state id and container contents into the history
707   cacheBackStack.push(id)
740   pushStack.push(id)
774     push: true,  property
812   $.event.props.push('state')