Update HTML5-History-API files