|
6
|
1 [%
|
|
|
2 document.css.push(css.global);
|
|
11
|
3 document.css.push(css.forms);
|
|
6
|
4 %]
|
|
11
|
5 [% IF document.menu.page.size;
|
|
|
6 render('menu', items = document.menu.page, class='menu-bar', id='page-menu');
|
|
|
7 END %]
|
|
|
8 <div id="header">
|
|
|
9 [%
|
|
|
10 render(
|
|
|
11 'menu',
|
|
|
12 items = [
|
|
|
13 { title = 'HOME', href = app.location },
|
|
|
14 { title = 'Wiki', href = app.location.wiki },
|
|
|
15 { title = 'Owncloud', href = app.location.owncloud },
|
|
|
16 { title = 'BugZilla', href = app.location.bugzilla },
|
|
|
17 { title = 'Library', href = app.location.library },
|
|
|
18 { title = 'Mercurial', href = app.location.mercurial }
|
|
|
19 ],
|
|
|
20 class = 'menu-bar float-left',
|
|
|
21 id = 'main-menu'
|
|
|
22 )%]
|
|
|
23 [%
|
|
|
24 IF user.isNobody;
|
|
|
25 usermenu = [
|
|
|
26 { title = 'Login', href= app.location.user.login(ref = location) }
|
|
|
27 ];
|
|
|
28 ELSE;
|
|
|
29 usermenu = [
|
|
|
30 { title = user.name },
|
|
|
31 { title = 'Settings', href = app.location.user },
|
|
|
32 { title = 'Logout', href = app.location.user.logout }
|
|
|
33 ];
|
|
|
34 END;
|
|
|
35 render('menu', items = usermenu, class = 'menu-bar float-right', id = 'user-menu');
|
|
|
36 %]
|
|
|
37 <div style="clear: both"></div>
|
|
|
38 </div>
|
|
4
|
39 $content |
