Fixed small JSLint-bug in ExtendDiv.js.
Changed in search.