Translations:Extension:CSS/15/de

Danach kann die ältere PageCSS (oder NewPageCSS) Extension von der Konfiguration entfernt werden; &lt;css> wird jetzt zu #css: und (wenn Sie die CSS-Extension schon installiert haben) wird sich genauso verhalten, wie alle anderen CSS-Extensions zuvor.