Talk:Crash: Difference between revisions

No edit summary
Mike Battaglia (talk | contribs)
No edit summary
Tags: Mobile edit Mobile web edit
Line 4: Line 4:
::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. [[User:Battaglia01|Mike Battaglia]] ([[User talk:Battaglia01|talk]]) 06:19, 20 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. [[User:Battaglia01|Mike Battaglia]] ([[User talk:Battaglia01|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]]. [[User:PiotrGrochowski|PiotrGrochowski]] ([[User talk:PiotrGrochowski|talk]]) 14:31, 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]]. [[User:PiotrGrochowski|PiotrGrochowski]] ([[User talk: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? [[User:Battaglia01|Mike Battaglia]] ([[User talk:Battaglia01|talk]]) 15:16, 20 September 2018 (UTC)
Return to "Crash" page.