Edouard Tisserant [Mon, 20 Nov 2023 11:52:27 +0100] rev 3857
Update default CSS for Runtime WebSettings.
Edouard Tisserant [Mon, 20 Nov 2023 11:51:34 +0100] rev 3856
Runtime WebSetings for extensions are now served on individual URLs to prevent cluttering.
Edouard Tisserant [Thu, 09 Nov 2023 11:20:39 +0100] rev 3855
Runtime web settings: allow customization of version string by extensions