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/
