search

pes10k / web-api-manager

(Unmaintained) WebExtension based browser extension to manage and block untrusted parts of the Web API.
GNU General Public License v3.0
102 stars 16 forks source link

Just cosmetics: "DOM Level 4" in settings =" W3C DOM4" in console log #54

Closed crssi closed 6 years ago

crssi commented 6 years ago

On the setting page we have DOM Level 4, but in the console log this is W3C DOM4

Cheers

pes10k commented 6 years ago

Thanks for the heads up :)

I'm going to close this for the moment, because I'm moving things over to a new logging interface with a new release I'll get out today or tomorrow, which will make bugs with current console.log interface irrelevant (though maybe at the cost of introducing many new bugs… :P)