Ticket #20554: OpenstreetCam-renaming.patch

org/openstreetmap/josm/plugins/PluginHandler.java

@@ -160 +160 @@
             new DeprecatedPlugin("gpxfilter", inCore),
             new DeprecatedPlugin("tag2link", inCore),
             new DeprecatedPlugin("rapid", tr(replacedByPlugin, "MapWithAI")),
-            new DeprecatedPlugin("MovementAlert", inCore)
+            new DeprecatedPlugin("MovementAlert", inCore),
+            new DeprecatedPlugin("OpenStreetCam", tr(replacedByPlugin, "KartaView"))
         );
         Collections.sort(DEPRECATED_PLUGINS);
     }