Fix #23822: Remove tofix from plugins

The service hasn't been maintained for years

git-svn-id: https://josm.openstreetmap.de/svn/trunk@19154 0c6e7542-c601-0410-84e7-c038aed88b3b

src/org/openstreetmap/josm/plugins/PluginHandler.java

@@ -182,7 +182,8 @@ public final class PluginHandler {
             new DeprecatedPlugin("javafx-unixoid", inCore),
             new DeprecatedPlugin("javafx-windows", inCore),
             new DeprecatedPlugin("wikidata", tr(replacedByPlugin, "osmwiki-dataitem")),
-            new DeprecatedPlugin("mapdust", noLongerRequired)
+            new DeprecatedPlugin("mapdust", noLongerRequired),
+            new DeprecatedPlugin("tofix", noLongerRequired)
         );
         Collections.sort(DEPRECATED_PLUGINS);
     }