Page MenuHomeMiraheze

Remove MagicNumberedHeadings
Closed, ResolvedPublic

Description

It seems all functionality to set NumberedHeadings was removed with https://github.com/wikimedia/mediawiki/commit/649bbdd as ParserOptions::setNumberHeadings was removed. I have not investigated any possible replacement, but seems unlikely. The extension will likely not work with the upcoming 1.38 release.

Event Timeline

Unknown Object (User) triaged this task as Normal priority.Mar 7 2022, 00:53
Unknown Object (User) created this task.
Unknown Object (User) added a project: Notice.Mar 7 2022, 00:54

Should likely be communicated to the community.

Unknown Object (User) moved this task from Backlog to Upgrade Blockers on the MediaWiki board.Mar 7 2022, 00:54
Unknown Object (User) added a parent task: T8743: Upgrade to MediaWiki 1.38.1.
Unknown Object (User) moved this task from Backlog to Short Term on the MediaWiki (SRE) board.

Community notified with *lots* of anticipation. I will repost this announcement and will enable a sitenotice once the upgrade draws near (say, 2-3 weeks from the upgrade?).

Reception123 changed the task status from Open to Stalled.Mar 17 2022, 06:02

Moving to stalled as this is pending the upgrade and there is no reasons to have a task open for something that will only be done shortly before the upgrade.

Agent_Isai lowered the priority of this task from Normal to Low.Apr 1 2022, 19:31

Reassigning to "Low" priority as it's something to be done once MediaWiki 1.38 is released.

As for alternatives--sorry for the weeks-long delay here--we may be in luck thanks to Krinkle's CSS snippet at MW.org (via Wikimedia T284921).

Unknown Object (User) renamed this task from Remove MagicNumberedHeadings extension to Remove MagicNumberedHeadings.Jun 5 2022, 20:11
Unknown Object (User) changed the task status from Stalled to Open.Jun 5 2022, 20:15
Unknown Object (User) removed Agent_Isai as the assignee of this task.
Unknown Object (User) raised the priority of this task from Low to Normal.
Unknown Object (User) claimed this task.Jun 6 2022, 15:35

Claiming to handle removal on June 12th.

Unknown Object (User) closed this task as Resolved.Jun 12 2022, 22:37