(Die Seite wurde neu angelegt: „<p>Wandelt eine Release-Nummer in eine Dezimalzahl um.<br> Das ermöglicht das Vergleichen von Release-Nummern.</p> 11.8.5 → {{rel2dec|11.8.5}}“) |
KKeine Bearbeitungszusammenfassung |
||
Zeile 1: | Zeile 1: | ||
<p>Wandelt eine Release-Nummer in eine Dezimalzahl um.<br> | <p>Wandelt eine Release-Nummer in eine Dezimalzahl um.<br> | ||
Das ermöglicht das Vergleichen von Release-Nummern.</p> | Das ermöglicht das Vergleichen von Release-Nummern.</p> | ||
11.8.5 → {{rel2dec|11.8.5}} | <nowiki>{{rel2dec|11.8.5}}</nowiki> → {{rel2dec|11.8.5}} |
Version vom 25. September 2019, 15:30 Uhr
Wandelt eine Release-Nummer in eine Dezimalzahl um.
Das ermöglicht das Vergleichen von Release-Nummern.
{{rel2dec|11.8.5}} → 11.0805