Improve coverage#285

cezaraugusto wants to merge 7 commits intomainextension-js/extension.js:mainfrom

coverage2extension-js/extension.js:coverage2Copy head branch name to clipboard