Opened 18 years ago
Closed 18 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 , 18 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Plugin list seem to be downloaded and interpreted correctly



The regular expression is not OK. Patch attached