History: The HistoryExtension allows you to harness the power of the HTML5 history API (often called pushState).
To use this extension, you need a browser that supports the HTML5 history API, which is all modern browsers.
This extension is a JavaScriptExtension, which means that no widgetset compilation is required when taking this add-on into use!