First of all, I know there\'s libraries that provide polyfills for location.pushState
/popState
(History.js, Hash.js, jQuery hashchange), so please
Note: ExtJs History has been extended to optimize duplicate (redundant) calls to add().