Edit all trac.ini options via the WebAdminPlugin Description This plugin uses the new configuration option API in Trac 0.10 to allow modification of any field exposed through this mechanism. This currently includes all core Trac settings, and although no plugins are taking advantage of this yet, it will only be a matter of time. Notes: Many Trac options require a restart of the server process, so