MediaWiki/Extension/DrawioEditor: Unterschied zwischen den Versionen

Version vom 18. Mai 2023, 08:50 Uhr Quelltext anzeigen Dirkwagner (Diskussion \| Beiträge) Bürokraten, Oberflächenadministratoren, Administratoren 95.078 Bearbeitungen Keine Bearbeitungszusammenfassung ← Zum vorherigen Versionsunterschied		Version vom 18. Mai 2023, 08:51 Uhr Quelltext anzeigen Dirkwagner (Diskussion \| Beiträge) Bürokraten, Oberflächenadministratoren, Administratoren 95.078 Bearbeitungen Keine Bearbeitungszusammenfassung Zum nächsten Versionsunterschied →
Zeile 1:		Zeile 1:
	{{#drawio:DrawioEditor1\|\|~~max-~~width=~~500px~~}}		{{#drawio:DrawioEditor1\|\|width=400px}}

Version vom 18. Mai 2023, 08:51 Uhr