GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intuitive interface. Menu fully supports user theme integration and in addition themes that carry native support can be found here http://the-panacea-projects.deviantart.com/
The syntax of the "catch" statements in placesDisplay.js isn't valid anymore, see the error returned by https://extensions.gnome.org/extension/1455/spidermonkey-60-migration-validator/