Upgrade history.js to 4.1.15