Topic on Talk:Reference Tooltips

Hello,

I'd like to add this extension to Wikiversity. What are the steps to add it?

A local administrator can copy the pages w:MediaWiki:Gadget-ReferenceTooltips, w:MediaWiki:Gadget-ReferenceTooltips.js, and w:MediaWiki:Gadget-ReferenceTooltips.css over to Wikiversity, and then add the line "ReferenceTooltips[ResourceLoader|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css" to MediaWiki:Gadgets-definition. The gadget will then be loaded by default on the wiki.