tree e3dbceff2a092de8f64204761c7f6c1c82141b68
parent 3e53e144bee271ec558363df2e561a77d7e0b789
author Steve Golton <stevegolton@google.com> 1702398943 +0000
committer Steve Golton <stevegolton@google.com> 1702402462 +0000

[ui] Add a simple plugins management page.

Allows the user to activate and deactivate individual plugins.
This page is hidden by default behind a flag.
Changes made on this page are not persisted, and will be lost on reload.

Change-Id: Ie499e0cd18429b903ba71058bf28bdbd0210d295