Unprefixed IDs

[gabalafou]

Without prefixes for names that live in a global namespace, it's so, so easy to end up with name clashes. What if someone uses this theme but one of their pages loads a third-party JavaScript widget that has its own version switcher button with the same versionswitcherbutton id?

Originally posted by @gabalafou in #1414 (comment)

[trallard]

I am +1 on moving to a pattern where we prefix our own ids with pst_ the same way we do for example with CSS variables

[12rambau]

I'm +1 as well, I don't know what is the convention for prefixes in the javascripts community, camel case or snake case ?