Talk:Crash: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
No edit summary |
||
Line 5: | Line 5: | ||
:::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) | ::::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) | ||
:::::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 [http://xenharmonic.wikispaces.com/wiki+help#x-Using links-Redirects 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! [[User:PiotrGrochowski|PiotrGrochowski]] ([[User talk:PiotrGrochowski|talk]]) 15:28, 20 September 2018 (UTC) |