Merge changes made in revisions #r9405 to #r9467
[phpbb.git] / phpBB / adm / style / simple_header.html
blobe7d34c7ff4860efe2a476e5b852b450ada4a620c
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>
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>
12 <link href="style/admin.css" rel="stylesheet" type="text/css" media="screen" />
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}';
21 /**
22 * Window popup
24 function popup(url, width, height, name)
26 if (!name)
28 name = '_popup';
31 window.open(url.replace(/&amp;/g, '&'), name, 'height=' + height + ',resizable=yes,scrollbars=yes, width=' + width);
32 return false;
35 /**
36 * Jump to page
38 function jumpto()
40 var page = prompt(jump_page, on_page);
42 if (page !== null && !isNaN(page) && page == Math.floor(page) && page > 0)
44 if (base_url.indexOf('?') == -1)
46 document.location.href = base_url + '?start=' + ((page - 1) * per_page);
48 else
50 document.location.href = base_url.replace(/&amp;/g, '&') + '&start=' + ((page - 1) * per_page);
55 /**
56 * Set display of page element
57 * s[-1,0,1] = hide,toggle display,show
59 function dE(n, s, type)
61 if (!type)
63 type = 'block';
66 var e = document.getElementById(n);
67 if (!s)
69 s = (e.style.display == '') ? -1 : 1;
71 e.style.display = (s == 1) ? type : 'none';
74 /**
75 * Mark/unmark checkboxes
76 * id = ID of parent container, name = name prefix, state = state [true/false]
78 function marklist(id, name, state)
80 var parent = document.getElementById(id);
81 if (!parent)
83 return;
86 var rb = parent.getElementsByTagName('input');
88 for (var r = 0; r < rb.length; r++)
90 if (rb[r].name.substr(0, name.length) == name)
92 rb[r].checked = state;
97 /**
98 * Find a member
100 function find_username(url)
102 popup(url, 760, 570, '_usersearch');
103 return false;
106 // ]]>
107 </script>
108 </head>
110 <body class="{S_CONTENT_DIRECTION}">
112 <div id="page-body" class="simple-page-body">