Add a field to the admin GUI to indicate the status of HTTP caching - "HTTP caching is ON".
Developers and non developers are likely to get caught surprised when the results don't change from a browser request after the index has been updated. Having the caching status display upfront might clarify the situation and make one alter the query/append the query/do other things.
Additions to _info.jsp and header.jsp
Previous patch was created from wrong location
Committed revision 1025669 to trunk.
Backported to 3.x
Bulk close for 3.1.0 release