In eigner Sache: Kommentarfunktion verbessert
von Michael Limburg
seit heute nutzen wir versuchsweise das Kommentartool decomment. Es enthält einige sehr nützliche Funktionen, nur eine nicht, die – eigentlich vorhandene – Registrierung mussten wir zusätzlich anpassen.