Page MenuHomePhabricator

Introduce __NONUMBEREDHEADINGS__ magic word
Closed, ResolvedPublic

Description

Similar to the NOTOC or NOEDITSECTION
magic words, add a magic word NONUMBERDHEADINGS
which inhibts section headers to be numbered even if
a user has selected numbering.

The main page of the Wikipedia for the ripuarian languages,
http://ksh.wikipedia.org/wiki/Houpsigk
is a sample of a page which should not have numbers added
to headings. Another such case would be a page which has
only numbers in its headings, such as e.g. year numbers.


Version: unspecified
Severity: enhancement
URL: http://ksh.wikipedia.org/wiki/Houpsigk

Details

Reference
bz7832

Event Timeline

bzimport raised the priority of this task from to Medium.Nov 21 2014, 9:23 PM
bzimport added a project: MediaWiki-Parser.
bzimport set Reference to bz7832.

tadpole9 wrote:

Adds NONUMBEREDHEADINGS magic word

Inhbits numbered headings if magic word NONUMBEREDHEADINGS is present.
I haven't tested this one.

attachment nonumberedheadings.patch ignored as obsolete

tadpole9 wrote:

NONUMBEREDHEADINGS magic word, v2

Version 2, to be current with newer quickUserCan() change

attachment Parser.php ignored as obsolete

robchur wrote:

I'm not sure if I like the existing precedent of options which give editors
control over content appearance; we have markup and style sheets separate for a
reason. If a user wishes to view the entire Wikipedia in bright fuschia Comic
Sans MS, 26 points, then he or she can, through their custom CSS subpage.

If a user has indicated a preference to see their section headings numbered,
then that should be honoured.

The point with his suggestion is, that prepending numbers in front of, e.g. a series of month names, or year numbers, or even complete dates, yiels
bewildering and/or unreadable headings. There needs to be a way to remedy the dissatisfarory situation that you can only resort to go to you peferences,
change the global setting there, return to the page, have it redisplayed, and, once you're done, return to your preferences, switch the setting back on,
and likely go back once more to the again uggly page, to continue where you left off.

Shorter said, at times editors know of specific display needs for their pages which cannot be met be local CSS alone.

tadpole9 wrote:

This is actually a patch

Did I really post the whole of Parser.php on v2? This one should actually be a
patch.

Attached:

ayg wrote:

*** Bug 3254 has been marked as a duplicate of this bug. ***

There is a MediaWiki extension available now at:

http://www.mediawiki.org/wiki/Extension:MagicNoNumberedHeadings

supplying NONUMBEREDHEADINGS doing what is aked for in this bug.