Extension:Highlight

Highlight used to be the name of .

See  for more syntax highliting extensions for MediaWiki.