MediaWiki:Tidy-desc/de

Fügt auf normalen Seiten einen Reiter „gültig“ und einen Reiter „ungültig“ ein (abhängig von $wgUseTidy), um die globale HTML-Tidy-Einstellung für eine einzelne Betrachtung überschreiben zu können.