marijnh/tern — pull request #33 by nmalaguti (2013-04-04 18:05:35+00:00)
Title: Fix for issue #31

Since tern.js was already using plugins instead of pluginOptions and the web implementation was also working, I updated desktop.js and test.js to use plugins.