On Fri, Jun 9, 2023 at 9:13 AM Thiemo Kreuz <[email protected]> wrote:
> Both pages start with <source>, which is a deprecated alias for > <syntaxhighlight>. Replacing it with e.g. <nowiki> will remove the > pages from the category. > Or just get rid of it. Adding a formatting tag was useful back in 2011 when that page was created, because MediaWiki did not automatically syntax-highlight JS pages back then. But it does now, so those tags don't serve any purpose.
_______________________________________________ Wikitech-l mailing list -- [email protected] To unsubscribe send an email to [email protected] https://lists.wikimedia.org/postorius/lists/wikitech-l.lists.wikimedia.org/
