Adding a tooltip
From semantic-mediawiki.org
Fragment of a discussion from Help talk:Special characters in tooltips
See also pull 4586 which will be shipped with Semantic MediaWiki 3.2.0Released on 7 September 2020 and compatible with MW 1.31.0 - 1.35.x..