Moving the page
Discussing whether or not this should be moved to "Java Edition 1.14 Pre-Release 1", which is the in-game name for the version (unlike previous pre-releases).
- Oppose No other pre-release pages are named as the proposal suggests. -PancakeIdentity (talk) 23:49, 10 April 2019 (UTC)
- I think this needs to be a bigger discussion somewhere about whether or not we rename everything. I'd say no myself, as it's too much hassle for such a small difference. -PancakeIdentity (talk) 23:58, 10 April 2019 (UTC)
- Weak support They've started doing different version IDs (the ID for this version is literally
1.14 Pre-Release 1including the spaces, while before IDs were1.13-pre10and similar (this can be seen in the version manifest). This has already caused a bit of a kerfluffle here and elsewhere (since a lot of things don't like spaces). But Mojang does seem to be doing a new pattern. I don't have a strong opinion on whether we need to follow it, though.(Do note that if it is moved, the protocol version data will need to be updated to use the new name.)--Pokechu22 (talk) 23:54, 10 April 2019 (UTC)
- Support, because why should we persist calling it -pre1 when (correct me if i'm wrong) it's not actually called that anywhere? We have a convention of calling things by their names, I thought. – Sealbudsman talk | contribs 00:12, 11 April 2019 (UTC)
- Weak oppose. While it's good to have the official name as the page name, it's both longer and inconsistent with the other pages on this wiki. Just set the infobox to have Pre-release and move on. – Nixinova
03:21, 11 April 2019 (UTC)
- Weak oppose. Hmmmm 1.9 pre-releases are called
1.9 Pre-Release 1ingame but editors put as1.9-pre1article see Java Edition 1.9-pre1 -Ellaflowercutie (talk) 05:56, 11 April 2019 (UTC)
- Support per the argument of Sealbudsman. "pre1" can stay as a redirect and old names should not be changed. Robotkoer (talk) 07:11, 11 April 2019 (UTC)