linuxmint/Cinnamon — pull request #2017 by mtwebster (2013-05-12 21:29:32+00:00)
Title: 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.