update javascript hacks for doxygen 1.8.3