Change Details

>>! In T85304#943654, @TTO wrote: > We could at least start by doing something about #REDIRECTs. Either make redirect syntax count as "valid JS" for MediaWiki purposes (although obviously `#REDIRECT [[bla]]` should never be served up to the user as JS content), or implement an alternative syntax for redirects on JavaScript pages. I think the cleanest option (from a user perspective) would be: * redirects are always "wikitext" content, whether they're in pages named *css/js or not; * loading a JS/CSS page which is a redirect actually loads its target. So the redirects would work consistently.