← 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/simple_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/simple_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
 
/**
22
 
* Window popup
23
 
*/
24
 
function popup(url, width, height, name)
25
 
{
26
 
        if (!name)
27
 
        {
28
 
                name = '_popup';
29
 
        }
30
 
 
31
 
        window.open(url.replace(/&amp;/g, '&'), name, 'height=' + height + ',resizable=yes,scrollbars=yes, width=' + width);
32
 
        return false;
33
 
}
34
 
 
35
 
/**
36
 
* Jump to page
37
 
*/
38
 
function jumpto()
39
 
{
40
 
        var page = prompt(jump_page, on_page);
41
 
 
42
 
        if (page !== null && !isNaN(page) && page > 0)  
43
 
        {
44
 
                document.location.href = base_url.replace(/&amp;/g, '&') + '&start=' + ((page - 1) * per_page);
45
 
        }
46
 
}
47
 
 
48
 
/**
49
 
* Set display of page element
50
 
* s[-1,0,1] = hide,toggle display,show
51
 
*/
52
 
function dE(n, s, type)
53
 
{
54
 
        if (!type)
55
 
        {
56
 
                type = 'block';
57
 
        }
58
 
 
59
 
        var e = document.getElementById(n);
60
 
        if (!s)
61
 
        {
62
 
                s = (e.style.display == '') ? -1 : 1;
63
 
        }
64
 
        e.style.display = (s == 1) ? type : 'none';
65
 
}
66
 
 
67
 
/**
68
 
* Mark/unmark checkboxes
69
 
* id = ID of parent container, name = name prefix, state = state [true/false]
70
 
*/
71
 
function marklist(id, name, state)
72
 
{
73
 
        var parent = document.getElementById(id);
74
 
        if (!parent)
75
 
        {
76
 
                return;
77
 
        }
78
 
 
79
 
        var rb = parent.getElementsByTagName('input');
80
 
        
81
 
        for (var r = 0; r < rb.length; r++)
82
 
        {
83
 
                if (rb[r].name.substr(0, name.length) == name)
84
 
                {
85
 
                        rb[r].checked = state;
86
 
                }
87
 
        }
88
 
}
89
 
 
90
 
/**
91
 
* Find a member
92
 
*/
93
 
function find_username(url)
94
 
{
95
 
        popup(url, 760, 570, '_usersearch');
96
 
        return false;
97
 
}
98
 
 
99
 
// ]]>
100
 
</script>
101
 
</head>
102
 
 
103
 
<body class="{S_CONTENT_DIRECTION}">
104
 
 
105
 
<div id="page-body" class="simple-page-body">