Gruppe-02-clone/Dokumente/JavaDoc/server/docs/javadoc/module-search-index.js

moduleSearchIndex = [];updateSearchResults();