<script>
<%
if(user.getRole()
>=User.USER_ROLE_PROJECT_MANAGER){
%>
if(f.projectid.value=="0"){
f.addtask.style.display="none";
}else{
f.addtask.style.display="";
}
<%
}else{
%>
f.addtask.style.display="none";
<%
}
%>
</script>
script is highlighted as jsp code
Sample file
Logged In: YES
user_id=313042
The same problems were observed with some other codes,
should be fixed.
Logged In: YES
user_id=313042
Fixed, althrough there is a HRC definition problem, causes
wrapped content of JS code to be highlighted as HTML.