Get rid of xwiki-platform-tool-foxwiki

Hi devs,

I only just noticed that we still have https://github.com/xwiki/xwiki-platform/tree/master/xwiki-platform-tools/xwiki-platform-tool-foxwiki.

For the youngsters, it’s a Firefox 3 (yep, 3) add-on for XWiki. Needless to say, it’s not super useful now.

It seems it was half removed (it’s not part of the parent’s modules, so its version is still 3.1-SNAPSHOT) and someone got a bit lost and forgot to delete the folder.

The point of this post is to ask:

  1. if someone think it really worth extracting it to XWiki Attic · GitHub
  2. or if just deleting it is good enough

+1 for 2. on my side, if someone really have the strange need to look at it, it’s very easy in the history and there is obviously no point in continuing to work on this project since the Firefox add-ons system completely changed since then.

+1 to remove it
+1 for 2

Also:

Thanks

+1 for option 2. Thanks.

+1 for option 2. Thanks

+1, thank you!

4 +1 for option 2. and one unspecified +1 from @MichaelHamann (but I assume it’s a “+1 for what everyone else said”). Done.