#25255 closed enhancement (fixed)

Modify top.jsp to allow the inclusion of additional stylesheets

Reported by: irl Owned by: irl
Priority: Medium Milestone:
Component: Metrics/Website Version:
Severity: Normal Keywords:
Cc: metrics-team Actual Points:
Parent ID: #23518 Points:
Reviewer: Sponsor:

Description

In order to include the stylesheets required by Relay Search, it needs to be possible to specify additional stylesheets when including top.jsp.

Child Tickets

Change History (6)

comment:1 Changed 15 months ago by irl

Owner: changed from metrics-team to irl
Status: newaccepted

Looking at this

comment:2 Changed 15 months ago by irl

Cc: metrics-team added
Status: acceptedneeds_review

Please review my branch task/25255.

comment:3 Changed 15 months ago by karsten

This looks trivially correct. But do we need to merge it now, or can we merge it together with the first servlet/JSP making use of it?

comment:4 Changed 15 months ago by irl

We can merge it together with #25258. I was doing the things that change things that already exist first before adding the new things.

comment:5 Changed 15 months ago by karsten

Status: needs_reviewmerge_ready

Sounds good. Setting to merge_ready, as this code reads okay to me. I just didn't run it. Doing that together with #25258 sounds good to me.

comment:6 Changed 15 months ago by irl

Resolution: fixed
Status: merge_readyclosed

This was merged and deployed along with #25258.

Note: See TracTickets for help on using tickets.