vufind-org/vufind — pull request #80 by mmchler (2014-01-24 12:23:16+00:00)
Title: Bugfix jstree in IE 11

There is a Bug with jstree and IE 11, the tree remains loading forever. I updated to the latest version of the jstree script and it solved the issue!
I have not seen any problems with vufind and the new jstree script so far.
Please have a look at it.