Identifying a category-adding extension

[Frosty919]

On some mediawiki site, I saw a capability to add a category to a page when just in view (not edit mode). IIRC it had a + sign and an input box that may have type-ahead suggested categories. I cannot locate it and went through the category of category extensions on mediawiki.org  - anyone know where this can be found?

Many thanks!

[Skizzerz]

That is most likely the HotCat gadget. To get it on your wiki you'd need to

1. Install the Gadgets extension: https://www.mediawiki.org/wiki/Extension:Gadgets
2. Set up the HotCat gadget on your wiki:
   1. Export the gadget from Wikipedia: https://en.wikipedia.org/wiki/Special:Gadgets/export/HotCat (this will download a .xml file)
   2. Go to [[Special:Import]] on your wiki and import the .xml file you just downloaded
   3. Edit the page [[MediaWiki:Gadgets-definition]] on your wiki and add a new line containing the text shown on the export page in step 1

[Frosty919]

Many thanks!