-
Improvement
-
Resolution: Fixed
-
Minor
-
3.1.0-dev
-
None
-
None
Since we don't have the proper UI for it yet, and because it might come in handy anyway, it would be good to have a script to enable and disable extensions and view their status.