Lines Matching full:extensions

79      * Fetch the data for multiple extensions from the repository
102             $extensions = json_decode($response, true, 512, JSON_THROW_ON_ERROR);
103             foreach ($extensions as $extension) {
107 …  // extensions that have not been returned are not in the repository, but we should cache that too
120      * The extensions are initialized by fetching their data from the cache or the repository.
121 … * This is the recommended way to initialize a whole bunch of extensions at once as it will only do
122      * a single API request for all extensions that are not in the cache.
124      * Extensions that are not found in the cache or the repository will be initialized as null.
194      * Search for extensions using the given query string
197      * @return Extension[] a list of matching extensions
258         // extract extensions