Extensions manager component.
Adjusted WCS_Html::extProperties().