In T237267, multiple users expressed that they use <source> instead of <syntaxhighlight> because of its shortness. As <source> is being phased out, we need another short alternative that saves typing time when using this tag on discussion pages.
Acceptance criteria
- Find an abbreviation for syntaxhighlight. It should be no longer than 5-6 characters, but it should resemble the full name (one of the reasons to deprecate source is that it has nothing to do with syntaxhighlight). syntax? synhi? Something else?
- Make it an alias to syntaxhighlight.
- Document it on https://www.mediawiki.org/wiki/Extension:SyntaxHighlight and announce it in Tech News so that people are aware of it.