jvoisin 195a0879c3 Replace wz_tooltip.js with jquery-ui ...

Since we're already using jquery-ui for other stuff, it makes sense to use it
for tooltips too, instead of using an old-school-written-in-2009 1300 lines
  steaming pile of javascript named wz_tooltip.js

2019-05-29 23:39:25 +02:00

..

main

Replace wz_tooltip.js with jquery-ui

2019-05-29 23:39:25 +02:00

test

Merge remote-tracking branch 'origin/pr/1038'

2019-05-20 14:17:33 -06:00