Last modified: 2014-10-16 11:13:22 UTC
During the Gadgets 2.0 migration, we will be moving a lot of JS pages around. In order not to break existing mw.loader.load calls to MediaWiki:Gadget- pages, we should support redirects for JS pages.
This looks like a dupe of bug 33973 to me.
Change 162491 had a related patch set uploaded by Legoktm: Support redirects in JavaScriptContent https://gerrit.wikimedia.org/r/162491
Current patch only creates "redirects" behind, but MW doesn't actually recognize these as redirects. This means people without "delete" can't revert moves (if they move their own common.js or something) since the pages aren't recognized as redirects. Also if a wiki changes their domain, there is no easy way to find "redirects" that need updating without doing a full text search (usually difficult) or just going through logs (not perfect). My proposal is that we make these real MW redirects. We can't just turn any mw.loader.load("url...") into a redirect since people might have common.js's with just one script being loaded. A magic syntax like /* #REDIRECT */mw.loader.load("url..."); is what I'm thinking of. "#REDIRECT" will be hardcoded and English only and must be in that exact format with spaces and whatnot. Thoughts?
+1 to that idea.