Merge pull request #13128 from colemanw/jstree
authorEileen McNaughton <eileen@mcnaughty.com>
Tue, 20 Nov 2018 00:09:17 +0000 (13:09 +1300)
committerGitHub <noreply@github.com>
Tue, 20 Nov 2018 00:09:17 +0000 (13:09 +1300)
dev/core#507 - Fix wrong version of jstree in search popop


Trivial merge