<%@ taglib uri="/WEB-INF/jspwiki.tld" prefix="wiki" %>
<%@ page import="com.ecyrd.jspwiki.*" %>
<%@ page import="com.ecyrd.jspwiki.ui.*" %>
<%@ page import="java.util.*" %>
"/>
" type="text/javascript">
" title="Search " />
" title="Help" />
" title="Front page" />
" />
" title="Print friendly" />
" title="Standard" />
" />
<%
// cookie-format
// skinname DELIM dateformat DELIM timezone DELIM editareaheight
String DELIM = "\u00a0";
String prefSkinName = null;
String prefDateFormat = "HH:mm dd-MMM-yyyy";
String prefTimeZone = java.util.TimeZone.getDefault().getID();
String prefEditAreaHeight = "24";
Cookie[] cookies = request.getCookies();
if (cookies != null)
{
for (int i = 0; i < cookies.length; i++)
{
if( "JSPWikiUserPrefs".equals( cookies[i].getName() ) )
{
String s = TextUtil.urlDecodeUTF8 (cookies[i].getValue() ) ;
java.util.StringTokenizer st = new java.util.StringTokenizer (s, DELIM);
if( st.hasMoreTokens() ) prefSkinName = st.nextToken();
if( st.hasMoreTokens() ) prefDateFormat = st.nextToken();
if( st.hasMoreTokens() ) prefTimeZone = st.nextToken();
if( st.hasMoreTokens() ) prefEditAreaHeight = st.nextToken();
break;
}
}
}
session.setAttribute("prefSkinName", prefSkinName );
session.setAttribute("prefDateFormat", prefDateFormat );
session.setAttribute("prefTimeZone", prefTimeZone );
session.setAttribute("prefEditAreaHeight", prefEditAreaHeight );
%>
<%
WikiContext context = WikiContext.findContext( pageContext );
TemplateManager mgr = context.getEngine().getTemplateManager();
Set skins = mgr.listSkins(pageContext,context.getTemplate());
for( Iterator i = skins.iterator(); i.hasNext(); )
{
String skinName = (String)i.next();
%>
'/> title="<%=skinName%>" />
<%
}
%>
<% if(prefSkinName != null) { %>
'/>" />
<% } %>
<%-- Here we define the "run when the page loads" -script. --%>