aklapper
Many sites have pages whose page names start with “MediaWiki:Gadget-”.
There are also the pages “Special:Gadgets” and “MediaWiki:Gadgets-definition”.
Does the latter page define which gadgets are listed on “Special:Preferences”?
If yes, could there be pages whose names start with “MediaWiki:Gadget-” but are not in “MediaWiki:Gadgets-definition”, so they hence are not listed in “Special:Preferences”?
If yes, would anyone know a quick way how to find these pages? Thanks in advance!