Opened 18 years ago
Closed 17 years ago
#235 closed defect (fixed)
Plugin Manager omits some plugins?
Reported by: | anonymous | Owned by: | |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | Plugin | Version: | |
Keywords: | Cc: |
Description
the plugin manager (list of plugins shown in preferences panel) does not list the valiadator plugin even though it is on the wiki page. why?
Attachments (1)
Change History (4)
comment:1 by , 18 years ago
by , 18 years ago
Attachment: | PluginDownloader.diff added |
---|
comment:2 by , 18 years ago
The problem is that not all links include this class=\"ext-link\", because the wiki software only uses this class for links outside of its domain. The plugins which are hosted on josm.openstreetmap.de are not matched by the expression.
ah
comment:3 by , 17 years ago
Resolution: | → fixed |
---|---|
Status: | new → closed |
Plugin list seem to be downloaded and interpreted correctly
The regular expression is not OK. Patch attached