[RSS]

Server customizer support

This document discusses the server customizer support, how the API should look like, etc. The relevant issue is 74646.

Motivation

Currently the Platform, Classes, Sources and Javadoc server customizers are copy/pasted among the server plug-ins. Maintaining a duplicated code is quite expensive and error prone, having some support API for this would be beneficial.