extension.properties

The extension.properties file stores the current state of all installed extensions. Typically you do not need to edit this file, as enabling and disabling of extensions can be done using the Extensions view.

This stores the current enabled/disabled state of all installed extensions. Typically you do not need to edit this file, as enabling and disabling can be done using the Extensions view.