https://bugzilla.wikimedia.org/show_bug.cgi?id=71200
Kunal Mehta (Legoktm) <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected], | |[email protected] --- Comment #3 from Kunal Mehta (Legoktm) <[email protected]> --- 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? -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
