← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/php/phpBB3/adm/style/overall_header.html

  • Committer: William Grant
  • Date: 2009-02-23 23:47:02 UTC
  • mfrom: (1099.1.211 new-dispatch)
  • Revision ID: grantw@unimelb.edu.au-20090223234702-db4b1llly46ignwo
Merge from lp:~ivle-dev/ivle/new-dispatch.

Pretty much everything changes. Reread the setup docs. Backup your databases.
Every file is now in a different installed location, the configuration system
is rewritten, the dispatch system is rewritten, URLs are different, the
database is different, worksheets and exercises are no longer on the
filesystem, we use a templating engine, jail service protocols are rewritten,
we don't repeat ourselves, we have authorization rewritten, phpBB is gone,
and probably lots of other things that I cannot remember.

This is certainly the biggest commit I have ever made, and hopefully
the largest I ever will.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/php/phpBB3/adm/style/overall_header.html
1
 
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
2
 
<html xmlns="http://www.w3.org/1999/xhtml" dir="{S_CONTENT_DIRECTION}" lang="{S_USER_LANG}" xml:lang="{S_USER_LANG}">
3
 
<head>
4
 
 
5
 
<meta http-equiv="Content-Type" content="text/html; charset={S_CONTENT_ENCODING}" />
6
 
<meta http-equiv="Content-Style-Type" content="text/css" />
7
 
<meta http-equiv="Content-Language" content="{S_USER_LANG}" />
8
 
<meta http-equiv="imagetoolbar" content="no" />
9
 
<!-- IF META -->{META}<!-- ENDIF -->
10
 
<title>{PAGE_TITLE}</title>
11
 
 
12
 
<link href="style/admin.css" rel="stylesheet" type="text/css" media="screen" />
13
 
 
14
 
<script type="text/javascript">
15
 
// <![CDATA[
16
 
var jump_page = '{LA_JUMP_PAGE}:';
17
 
var on_page = '{ON_PAGE}';
18
 
var per_page = '{PER_PAGE}';
19
 
var base_url = '{A_BASE_URL}';
20
 
 
21
 
var menu_state = 'shown';
22
 
 
23
 
 
24
 
/**
25
 
* Jump to page
26
 
*/
27
 
function jumpto()
28
 
{
29
 
        var page = prompt(jump_page, on_page);
30
 
 
31
 
        if (page !== null && !isNaN(page) && page > 0)  
32
 
        {
33
 
                document.location.href = base_url.replace(/&amp;/g, '&') + '&start=' + ((page - 1) * per_page);
34
 
        }
35
 
}
36
 
 
37
 
/**
38
 
* Set display of page element
39
 
* s[-1,0,1] = hide,toggle display,show
40
 
*/
41
 
function dE(n, s, type)
42
 
{
43
 
        if (!type)
44
 
        {
45
 
                type = 'block';
46
 
        }
47
 
 
48
 
        var e = document.getElementById(n);
49
 
        if (!s)
50
 
        {
51
 
                s = (e.style.display == '') ? -1 : 1;
52
 
        }
53
 
        e.style.display = (s == 1) ? type : 'none';
54
 
}
55
 
 
56
 
/**
57
 
* Mark/unmark checkboxes
58
 
* id = ID of parent container, name = name prefix, state = state [true/false]
59
 
*/
60
 
function marklist(id, name, state)
61
 
{
62
 
        var parent = document.getElementById(id);
63
 
        if (!parent)
64
 
        {
65
 
                eval('parent = document.' + id);
66
 
        }
67
 
 
68
 
        if (!parent)
69
 
        {
70
 
                return;
71
 
        }
72
 
 
73
 
        var rb = parent.getElementsByTagName('input');
74
 
        
75
 
        for (var r = 0; r < rb.length; r++)
76
 
        {
77
 
                if (rb[r].name.substr(0, name.length) == name)
78
 
                {
79
 
                        rb[r].checked = state;
80
 
                }
81
 
        }
82
 
}
83
 
 
84
 
/**
85
 
* Find a member
86
 
*/
87
 
function find_username(url)
88
 
{
89
 
        popup(url, 760, 570, '_usersearch');
90
 
        return false;
91
 
}
92
 
 
93
 
/**
94
 
* Window popup
95
 
*/
96
 
function popup(url, width, height, name)
97
 
{
98
 
        if (!name)
99
 
        {
100
 
                name = '_popup';
101
 
        }
102
 
 
103
 
        window.open(url.replace(/&amp;/g, '&'), name, 'height=' + height + ',resizable=yes,scrollbars=yes, width=' + width);
104
 
        return false;
105
 
}
106
 
 
107
 
/**
108
 
* Hiding/Showing the side menu
109
 
*/
110
 
function switch_menu()
111
 
{
112
 
        var menu = document.getElementById('menu');
113
 
        var main = document.getElementById('main');
114
 
        var toggle = document.getElementById('toggle');
115
 
        var handle = document.getElementById('toggle-handle');
116
 
 
117
 
        switch (menu_state)
118
 
        {
119
 
                // hide
120
 
                case 'shown':
121
 
                        main.style.width = '93%';
122
 
                        menu_state = 'hidden';
123
 
                        menu.style.display = 'none';
124
 
                        toggle.style.width = '20px';
125
 
                        handle.style.backgroundImage = 'url(images/toggle.gif)';
126
 
                        handle.style.backgroundRepeat = 'no-repeat';
127
 
 
128
 
                        <!-- IF S_CONTENT_DIRECTION eq 'rtl' -->
129
 
                                handle.style.backgroundPosition = '0% 50%';
130
 
                                toggle.style.left = '96%';
131
 
                        <!-- ELSE -->
132
 
                                handle.style.backgroundPosition = '100% 50%';
133
 
                                toggle.style.left = '0';
134
 
                        <!-- ENDIF -->
135
 
                break;
136
 
 
137
 
                // show
138
 
                case 'hidden':
139
 
                        main.style.width = '76%';
140
 
                        menu_state = 'shown';
141
 
                        menu.style.display = 'block';
142
 
                        toggle.style.width = '5%';
143
 
                        handle.style.backgroundImage = 'url(images/toggle.gif)';
144
 
                        handle.style.backgroundRepeat = 'no-repeat';
145
 
 
146
 
                        <!-- IF S_CONTENT_DIRECTION eq 'rtl' -->
147
 
                                handle.style.backgroundPosition = '100% 50%';
148
 
                                toggle.style.left = '75%';
149
 
                        <!-- ELSE -->
150
 
                                handle.style.backgroundPosition = '0% 50%';
151
 
                                toggle.style.left = '15%';
152
 
                        <!-- ENDIF -->
153
 
                break;
154
 
        }
155
 
}
156
 
 
157
 
// ]]>
158
 
</script>
159
 
</head>
160
 
 
161
 
<body class="{S_CONTENT_DIRECTION}">
162
 
 
163
 
<div id="wrap">
164
 
        <div id="page-header">
165
 
                <h1>{L_ADMIN_PANEL}</h1>
166
 
                <p><a href="{U_ADM_INDEX}">{L_ADMIN_INDEX}</a> &bull; <a href="{U_INDEX}">{L_FORUM_INDEX}</a></p>
167
 
                <p id="skip"><a href="#acp">{L_SKIP}</a></p>
168
 
        </div>
169
 
        
170
 
        <div id="page-body">
171
 
                <div id="tabs">
172
 
                        <ul>
173
 
                        <!-- BEGIN t_block1 -->
174
 
                                <li<!-- IF t_block1.S_SELECTED --> id="activetab"<!-- ENDIF -->><a href="{t_block1.U_TITLE}"><span>{t_block1.L_TITLE}</span></a></li>
175
 
                        <!-- END t_block1 -->
176
 
                        </ul>
177
 
                </div>
178
 
 
179
 
                <div id="acp">
180
 
                <div class="panel">
181
 
                        <span class="corners-top"><span></span></span>
182
 
                                <div id="content">
183
 
                                        <!-- IF not S_USER_NOTICE --> 
184
 
                                        <div id="toggle">                                               
185
 
                                                <a id="toggle-handle" accesskey="m" title="{L_MENU_TOGGLE}" onclick="switch_menu(); return false;" href="#"></a></div>
186
 
                                        <!-- ENDIF -->
187
 
                                        <div id="menu">
188
 
                                                <p>{L_LOGGED_IN_AS}<br /><strong>{USERNAME}</strong> [&nbsp;<a href="{U_LOGOUT}">{L_LOGOUT}</a>&nbsp;]</p>
189
 
                                                <ul>
190
 
                                                <!-- BEGIN l_block1 -->
191
 
                                                        <!-- IF l_block1.S_SELECTED -->
192
 
        
193
 
                                                <!-- BEGIN l_block2 -->
194
 
                                                        <!-- IF .l_block1.l_block2.l_block3 -->
195
 
                                                        <li class="header">{l_block1.l_block2.L_TITLE}</li>
196
 
                                                        <!-- ENDIF -->
197
 
        
198
 
                                                        <!-- BEGIN l_block3 -->
199
 
                                                                <li<!-- IF l_block1.l_block2.l_block3.S_SELECTED --> id="activemenu"<!-- ENDIF -->><a href="{l_block1.l_block2.l_block3.U_TITLE}"><span>{l_block1.l_block2.l_block3.L_TITLE}</span></a></li>
200
 
                                                        <!-- END l_block3 -->
201
 
                                                <!-- END l_block2 -->
202
 
                                                
203
 
                                                        <!-- ENDIF -->
204
 
                                                <!-- END l_block1 -->
205
 
                                                </ul>
206
 
                                        </div>
207
 
        
208
 
                                        <div id="main">