DEV/DEV2.1/TP01/type-search-index.js

typeSearchIndex = [{"l":"All Classes and Interfaces","u":"allclasses-index.html"},{"p":"<Unnamed>","l":"Bonjour"}];updateSearchResults();