Gildas 0858f9c7b0 remove legacy infobar 2 jaren geleden
..
core 0858f9c7b0 remove legacy infobar 2 jaren geleden
lib ba97a9fa22 pass missing parameter `keys` 2 jaren geleden
ui c1e4ef0136 update and integrate changes in `single-file-core` 2 jaren geleden
index.js 911dd7e699 remove useless "extension" folder 3 jaren geleden