Tuesday, January 20, 2015

I may have missed something

When did the ruleset stop being numbered? Because the glossary defines rules as “Each individually numbered section of the ruleset”, potentially rendering the entire ruleset invalid.

posted by Josh at 20 Jan 2015 22:44:00 UTC Comments (4)

Comments

Josh: Observer he/they

20-01-2015 22:48:52 UTC

Aside: damn, I should have sat on this and exploited it, how dumb am I

Kevan: he/him

20-01-2015 22:56:20 UTC

The current version of MediaWiki doesn’t seem to use them, or have an easy way to enable them. They’re still numbered in the index at the top.

Josh: Observer he/they

20-01-2015 23:02:59 UTC

It may not be the worst idea to change that glossary entry, as a software-enforced index is arguably no more part of the ruleset than the navigation links at the side.

ais523:

23-01-2015 14:55:52 UTC

The rules are still numbered; a MediaWiki upgrade can’t change the ruleset. It’s just that the ruleset itself has become inaccurate.

For what it’s worth, I’ve always been against using autonumbering in the ruleset because the numbers can change unexpectedly. (Kevan may remember the incident where I persuaded an admin to add a new rule at the top of the ruleset, so as to throw off the numbering and thus cause a pending proposal to amend the wrong rule.)