Minor upgrade to 2.3.7, No code change required
According to the current code, box-search is deprecated and removed.
Cleaning of some messed-up part from dataexplorer.js