Extension:ParserMigration/de

Die ParserMigration-Erweiterung wurde in 296182 eingeführt. It provides an interface for comparing article rendering with a new non-default version of the MediaWiki thus serving as a parser migration tool.

It was deployed on the Wikimedia production cluster until 2018 to compare Tidy-based output with a RemexHTML-based output. ist der Ersatz für Tidy.

The availability of the tool can be controlled by a user via the "parsermigration" preference option.