[metrics-bugs] #25255 [Metrics/Website]: Modify top.jsp to allow the inclusion of additional stylesheets

[Tor Bug Tracker & Wiki]

#25255: Modify top.jsp to allow the inclusion of additional stylesheets
-----------------------------+-----------------------------
 Reporter:  irl              |          Owner:  irl
     Type:  enhancement      |         Status:  merge_ready
 Priority:  Medium           |      Milestone:
Component:  Metrics/Website  |        Version:
 Severity:  Normal           |     Resolution:
 Keywords:                   |  Actual Points:
Parent ID:  #23518           |         Points:
 Reviewer:                   |        Sponsor:
-----------------------------+-----------------------------
Changes (by karsten):

 * status:  needs_review => merge_ready


Comment:

 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.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/25255#comment:5>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online