Lines Matching full:extensions

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