MediaWiki/Extension/DrawioEditor: Unterschied zwischen den Versionen