Reverting the bootstrap-dropdown.js committed in d66f772028574b007e1ffb85b88f7fad6bbda23b, as it appears to have caused the dropdown menu to stop working on desktop.