67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
local terra
pushbranches(list: &lib.str.acc, idx: intptr, ps: lib.store.powerset): {}
var [pages] = array([allpages])
var started = false
for i=0,[pages.type.N] do
if pages[i].parent == idx+1 and (pages[i].priv:sz() == 0 or
(ps and pages[i].priv):sz() > 0) then
if not started then
started = true
list:lpush('<ul>')
end
list:lpush('<li><a href="/doc/'):rpush(pages[i].name):lpush('">')
:rpush(pages[i].title):lpush('</a>')
pushbranches(list, i, ps)
|
|
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
local terra
pushbranches(list: &lib.str.acc, idx: intptr, ps: lib.store.powerset): {}
var [pages] = array([allpages])
var started = false
for i=0,[pages.type.N] do
if pages[i].parent == idx+1 and (pages[i].priv:sz() == 0 or
(ps and pages[i].priv) == pages[i].priv) then
if not started then
started = true
list:lpush('<ul>')
end
list:lpush('<li><a href="/doc/'):rpush(pages[i].name):lpush('">')
:rpush(pages[i].title):lpush('</a>')
pushbranches(list, i, ps)
|