Rev 112 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 112 | Rev 127 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | 32 | ||
33 | foreach ($json as $x) { |
33 | foreach ($json as $x) { |
34 | if ($static_node_id == $x['id']) echo '<b>'; |
34 | if ($static_node_id == $x['id']) echo '<b>'; |
35 | if (isset($x['indent'])) echo str_repeat(' ', $x['indent']*5); |
35 | if (isset($x['indent'])) echo str_repeat(' ', $x['indent']*5); |
36 | echo '<a href="?goto='.urlencode($x['id']).'">'; |
36 | echo '<a href="?goto='.urlencode($x['id']).'">'; |
37 | if (!empty($x['icon'])) echo '<img src="'.$x['icon'].'" alt="'.$x['id'].' icon"> '; |
37 | if (!empty($x['icon'])) echo '<img src="'.$x['icon'].'" alt=""> '; |
38 | echo htmlentities($x['text']).'</a><br>'; |
38 | echo htmlentities($x['text']).'</a><br>'; |
39 | if ($static_node_id == $x['id']) echo '</b>'; |
39 | if ($static_node_id == $x['id']) echo '</b>'; |
40 | } |
40 | } |
41 | 41 | ||
42 | } |
42 | } |