add popover attributes

[dkirchhof]

Adds popover, popoverTarget and popoverTargetAction to JsxDOM.domProps

[dkirchhof]

🤔 Do I have to write the Completion.res.txt stuff manually or is there a script to generate it?

[nojaf]

Try running make test inside tests/analysis_tests. (Or something along those lines, on my phone now)

[dkirchhof]

Unfortunatelly I don't get the toolchain running. Probably my python version is too new.
I didn't want to put much effort into this small change. Feel free to close this PR or maybe someone else could fix the tests.

[nojaf]

I'm sorry to hear that! I completely understand how demotivating it can be to deal with CI for such a small change. Contributing here does require some setup; it can be frustrating initially, but it's smooth once everything works. I've pushed the change to the test file, so it should be ready for review now.

[dkirchhof]

I'm sorry to hear that! I completely understand how demotivating it can be to deal with CI for such a small change. Contributing here does require some setup; it can be frustrating initially, but it's smooth once everything works. I've pushed the change to the test file, so it should be ready for review now.

Every now and then I played a bit with ocaml. So opam for example was already installed. But failing with make ninja etc. I gave up.

Many thanks for adding the completions.

[zth]

Great stuff!