Can one of the administrator/bureaucrat of this wiki change <source> to <syntaxhighlight> tag? Thanks.
Topic on Project:Village Pump
Why? I'm aware of the updated syntax, but it's a user's .js page, and the <source> source tag is just a comment as well.
The page is in the Category:Pages using deprecated source tags because it has on it:
// <source lang="javascript">
(a common practice, btw, because of task T61616)
On this particular case, vanished users should probably get those subpages deleted, to clean those and future deprecation errors or security vulnerabilities in scripts that are scanned from time to time.
Ok, I see; thanks. Page deleted.