Ticket #21819: MapDust-deprecated.patch

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

@@ -167 +167 @@
             new DeprecatedPlugin("javafx-osx", inCore),
             new DeprecatedPlugin("javafx-unixoid", inCore),
             new DeprecatedPlugin("javafx-windows", inCore),
-            new DeprecatedPlugin("wikidata", tr(replacedByPlugin, "osmwiki-dataitem"))
+            new DeprecatedPlugin("wikidata", tr(replacedByPlugin, "osmwiki-dataitem")),
+            new DeprecatedPlugin("mapdust", noLongerRequired)
         );
         Collections.sort(DEPRECATED_PLUGINS);
     }