| 24 | */ |
| 25 | function initMenu(relPath,searchEnabled,serverSide,searchPage,search) { |
| 26 | function makeTree(data,relPath) { |
| 27 | var result=''; |
| 28 | if ('children' in data) { |
| 29 | result+='<ul>'; |
| 30 | for (var i in data.children) { |
| 31 | var url; |
| 32 | var link; |
| 33 | link = data.children[i].url; |
| 34 | if (link.substring(0,1)=='^') { |
| 35 | url = link.substring(1); |
| 36 | } else { |
| 37 | url = relPath+link; |
| 38 | } |
| 39 | result+='<li><a href="'+url+'">'+ |
| 40 | data.children[i].text+'</a>'+ |
| 41 | makeTree(data.children[i],relPath)+'</li>'; |
| 42 | } |
| 43 | result+='</ul>'; |
| 44 | } |
| 45 | return result; |
| 46 | } |
| 47 | var searchBoxHtml; |
| 48 | if (searchEnabled) { |
| 49 | if (serverSide) { |