Talk:Crash

From Xenharmonic Wiki
Jump to navigation Jump to search

To User:PiotrGrochowski - why are we making a page that crashes? This is not a bug, this is just the way MediaWiki works. If you make a page redirect to itself, it will redirect to itself. It doesn't really "crash" my browser or anything, I just get a note that there's a redirect loop. What is the point of making this page? Mike Battaglia (talk) 13:45, 19 September 2018 (UTC)

If users want to see a crash page, they can thanks to me. PiotrGrochowski (talk) 16:23, 19 September 2018 (UTC)
It works by the way interlanguage travel works. This redirect redirects to :en:Crash, and interlanguage travel travels to this site ignoring instructions like &redirect=no. PiotrGrochowski (talk) 16:38, 19 September 2018 (UTC)
OK. This is a MediaWiki bug and there is very little we can do about it other than to deliberately get rid of such circular redirects if they arise. We don't want a page that intentionally crashes people's browsers, and would like to get rid of this. Mike Battaglia (talk) 06:19, 20 September 2018 (UTC)
It's a hard redirect. Wiki help#Redirects now shows the MediaWiki code for a hard redirect. It is important for compatibility of the migration, where double redirects were hard redirects, and thanks to this feature bug we can have hard redirects in the migration, although they aren't coded into the FREEZE engine. 2 1 is now a hard redirect to 2/1, which is a regular redirect to Octave. Similarly with 531441 524288. PiotrGrochowski (talk) 14:31, 20 September 2018 (UTC)
Yeah, for reference, the hard redirects were taken directly from Wikispaces. But I did add the ones from 2_1 to 2/1, since I thought it would be cleaner. Wikispaces didn't let you use "/" in page title names but does let you use "_", whereas MediaWiki lets you use "/" and converts "_" to a space, so I thought, let's change it. I like your page on when to use soft and hard redirects. I think what you are doing is mostly good and want to give you the space to do your thing, but do we *need* this "Crash" page for what you are trying to do? Mike Battaglia (talk) 15:16, 20 September 2018 (UTC)
The FREEZE engine turned Wikispaces' hard redirects into MediaWiki's regular redirects, not hard redirects. And that page about redirects is not mine, it was from xenharmonic.wikispaces.com but I added regular redirects as a third redirect type as MediaWiki has it. The Crash page is, as I said, for users that want a crash page! PiotrGrochowski (talk) 15:28, 20 September 2018 (UTC)
OK, we'll just leave the Crash page - I didn't realize you were using it page as part of your demonstration on circular redirects. But this seems to be the same type of redirect as the other redirects -- it uses #REDIRECT. I think that's what you're calling "hard". Mike Battaglia (talk) 15:37, 20 September 2018 (UTC)
Wiki help#Redirects now explictly states that there are 3 types, and regular redirect is distinct from hard redirect. Regular redirect is #REDIRECT [[Page]], while a hard redirect is #REDIRECT [[:en:Page]]. PiotrGrochowski (talk) 15:41, 20 September 2018 (UTC)
PiotrGrochowski, on a different note, having ?redirect=no seems to work for me. See here. Mike Battaglia (talk) 15:39, 20 September 2018 (UTC)
A page after being redirected is supposed to have this, but hard redirect bypasses it. A regular redirect to itself doesn't crash. PiotrGrochowski (talk) 15:43, 20 September 2018 (UTC)