Topic on Category talk:Extensions by Fandom

what is the extension used on Wikia (now it's Fandom, it should be corrected), allowing to write the categories names in an inputbox?