history.js: Fix clear-history for FF >= 45