Thread:Project:Support desk/Please help to find extension/reply

You could do this with the API and a little JS: https://www.mediawiki.org/w/api.php?action=query&prop=extracts&exintro=1&titles=Extension:Gadgets&format=jsonfm