notes/trac: trac-toc-my.diff

macro.py

@@ -97 +97 @@
     || `sectionindex` || Only display the page name and title of each page in the wiki section. ||
     || `titleindex`   || Only display the page name and title of each page, similar to TitleIndex. ||
     || `notitle`      || Supress display of page title. ||
+    || `ordered`      || ordered list. by default - unordered. ||
     || `reverse`      || Display TOC sorted in reversed order.  ''(Since 11.0.0.4)'' ||
     For `titleindex` argument, an empty pagelist will evaluate to all pages:
     {{{
@@ -133 +134 @@
         inline = False
         pagenames = []
         reverse = False
+        ordered = False
         
         default_heading = 'Table of Contents'
         params = {'min_depth': 1, 'max_depth': 6}
@@ -141 +143 @@
             arg = arg.strip()
             if arg == 'inline':
                 inline = True
+            elif arg == 'ordered':
+                ordered = True
             elif arg == 'noheading':
                 default_heading = ''
             elif arg == 'notitle':
@@ -196 +200 @@
         pagenames = temp_pagenames
 
         base = tag.div(class_=inline and 'wiki-toc-inline' or 'wiki-toc')
-        ol = tag.ol()
+        ol = tag.ul()
+        if ordered:
+         ol = tag.ol()
         base.append([heading and tag.h4(heading), ol])
 
         active = len(pagenames) > 1