Added support for html5 history manipulation.