Wechseln zu:Navigation, Suche
Wiki
(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