https://bugzilla.wikimedia.org/show_bug.cgi?id=17587
Summary: alias __TOC__ to {{TOC}} or {{#TOC}}
Product: MediaWiki
Version: 1.15-svn
Platform: All
OS/Version: All
Status: NEW
Severity: enhancement
Priority: Normal
Component: Page rendering
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
out of all magic names of the form __some-name__ only __TOC__ inserts something
at the place where it is included in the wiki
text. All other of the kind influence only how a page is rendered.
Thus, for the sake of consistency, add another name, like {{#TOC}} or similar,
and after a while phase __TOC__ out.
Not proposed here and now, but something possibly worth thinking about: There
could later be {{#TOC:parameters}} as to influence the style of the toc, such
as with/out numbering,
right/center/left, with/out "hide" button, initially un/hidden, general or
page-specific sticky hide, width, CSS-id, CSS-class, etc.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
