okay, thank you, with this I'll open a bug report. Do you know the
extension or software, that categorizes the mentioned pages?

Am Fr., 9. Juni 2023 um 10:46 Uhr schrieb Thiemo Kreuz <
thiemo.kr...@wikimedia.de>:

> Yea, that's really confusing. For consumers that read the page as
> JavaScript the <source> is in a comment, true. But the wikitext parser
> doesn't know what JavaScript comments are. It ignores the // at the
> start of the line. You can test this when you copy-paste the source
> code from the .js page into a normal wikitext page and click preview.
>
> The <source> tag really is executed and it really is correct to track
> this as "this page uses the outdated <source> alias".
>
> Best
> Thiemo
> _______________________________________________
> Wikitech-l mailing list -- wikitech-l@lists.wikimedia.org
> To unsubscribe send an email to wikitech-l-le...@lists.wikimedia.org
> https://lists.wikimedia.org/postorius/lists/wikitech-l.lists.wikimedia.org/
>
_______________________________________________
Wikitech-l mailing list -- wikitech-l@lists.wikimedia.org
To unsubscribe send an email to wikitech-l-le...@lists.wikimedia.org
https://lists.wikimedia.org/postorius/lists/wikitech-l.lists.wikimedia.org/

Reply via email to