Hans Voss wrote:
I have asked a feature to the MediaWIki a couple of
weeks ago (not on
this list). I wanted to be able to enable the header numbering feature
on a per article basis. (Usually this is a per user setting).
Last weekend I thought myself comfertable enough with the MW code to
hack my own solution for this (a new magic word).
This magic word (__NUMBERHEADINGS__) will enable heading numbers for
the specific article, so that all headers (between the '=' marks) get
numbered. This is usefull for more formal kind of documents or
reports.
Is anyone interested in these patches? If so, please let met know and
I'll post somewhere (this list, MW repository, by E-mail, ...).
Hello Hans,
Please post your patch on
http://bugzilla.wikimedia.org/ using keywords
'need-review' and 'patch'. Someone will have a look at it and maybe it
will be added in the main code (not sure it will be for 1.5 though as I
think its feature frozen).
cheers,
--
Ashar Voultoiz - WP++++
http://en.wikipedia.org/wiki/User:Hashar
http://www.livejournal.com/community/wikitech/
IM: hashar(a)jabber.org ICQ: 15325080