Gildas dee66f4f17 replaced let with const 7 anni fa
..
bg-ui.js 10cdd8ab82 replaced "append the save date to the file name" with "template" option 7 anni fa
options.js 5376ca8b4e renamed config parameter 7 anni fa
ui-autosave.js 0e0009f231 always auto-save pages in background 7 anni fa
ui-button.js dee66f4f17 replaced let with const 7 anni fa
ui-menu.js 8ff56052ea i18n integration 7 anni fa