Revert removal of panelMenu.js

It turns out a lot of third party applets use this still, and it really does no harm leaving it in for legacy purposes.