Add support for ignoring an extension or other file in the extensions directory

[Nicklas Nordborg]

Typical use cases:

• Admin wants to temporarily uninstall an extension and then not get bugged about installing it again every time the installation wizard is executed.

• Some extension require an external JAR file to be located in the same directory, but this clutters the installation wizard with error messages.

There is already some support in the core for this, but it has never been propagated to the gui.

[Nicklas Nordborg]

(In [7231]) References #2042: Add support for ignoring an extension or other file in the extensions directory

Ignored files are now saved in the Settings so that they are remembered after a server restart.

The ExtensionsManager can now be used for listing the ignored files.

[Nicklas Nordborg]

(In [7232]) References #2042: Add support for ignoring an extension or other file in the extensions directory

It is now possible to select "Ignore" option in the installation wizard. The IgnoreFilter class is used to filter out the selected files which are then processed with the IgnoreFileProcessor. The "Ignore" option is selected by default for files with an error. It is possible to "Ignore" any file. If the extension is already installed the uninstall option is automatically selected as well.

There is currently no way to get back the ignored files again. Until that is resolved the workaround is to stop Tomcat, edit the extensions-settings.xml file (located in userfiles directory configured in base.config) and then start Tomcat again.

[Nicklas Nordborg]

(In [7233]) References #2042: Add support for ignoring an extension or other file in the extensions directory

Implemented support for managing "ignored" files in the installation wizard. The ignored files are listed at the bottom of the table in a separate section (only displayed if there is at least one ignored file).

There are two possible actions: Install and Stop ignore which can be selected and that are processed in the ExtensionsControl and related classes. Since the files are not managed by the ExtensionsManager there is no special "About" information for them. We display the file size and last modification date.

[Nicklas Nordborg]

(In [7234]) References #2042: Add support for ignoring an extension or other file in the extensions directory

Updated documentation and screen shots about installation wizard.

[Nicklas Nordborg]

(In [7235]) References #2042: Add support for ignoring an extension or other file in the extensions directory

Allow the "Ignore" option also for modified extensions that are already installed.