Changeset 18861 in josm


Ignore:
Timestamp:
2023-10-10T17:07:32+02:00 (15 months ago)
Author:
stoecker
Message:

remove hardcoded plugin Java versions, see #23218

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/build.xml

    r18858 r18861  
    670670        <!-- Download list of plugins -->
    671671        <loadresource property="plugins">
    672             <url url="https://josm.openstreetmap.de/plugin"/>
     672            <url url="https://josm.openstreetmap.de/pluginicons?minjava=8&amp;noparams=1"/>
    673673            <filterchain>
    674674                <linecontainsregexp negate="true">
    675                     <regexp pattern="^\t.*"/>
    676                 </linecontainsregexp>
    677                 <linecontainsregexp negate="true">
    678675                    <regexp pattern="${deprecated-plugins}"/>
    679                 </linecontainsregexp>
    680                 <!-- Ideally these would not be hardcoded, and instead read from the manifest file -->
    681                 <linecontainsregexp negate="true" unless:set="isJava11">
    682                     <!-- Skip Java 11 plugins -->
    683                     <regexp pattern="(areaselector|http|javafx|josm_magic_wand)\..*"/>
    684                 </linecontainsregexp>
    685                 <linecontainsregexp negate="true" unless:set="isJava17">
    686                     <!-- Skip Java 17 plugins -->
    687                     <regexp pattern="(ImageIO|pmtiles|todo|MapRoulette|mapwithai|contourmerge|scripting)\..*"/>
    688                 </linecontainsregexp>
    689                 <linecontainsregexp negate="true" unless:set="isJava21">
    690                     <!-- Skip Java 21 plugins -->
    691                     <regexp pattern="FIT\..*"/>
    692676                </linecontainsregexp>
    693677                <tokenfilter>
Note: See TracChangeset for help on using the changeset viewer.