Index: trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
===================================================================
--- trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 8744)
+++ trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 8745)
@@ -127,4 +127,5 @@
             new DeprecatedPlugin("nearclick", tr("no longer required")),
             new DeprecatedPlugin("notes", IN_CORE),
+            new DeprecatedPlugin("mirrored_download", IN_CORE),
         });
     }